Re: the -*-coding: -*- stuff doesn't check for invalid codings

[Kevin Rodgers]

>> I.e., the -*-coding: -*- stuff doesn't check for invalid codings.
>
> Sure it does, it just doesn't report it (see set-auto-coding):
>
>           (or (coding-system-p coding-system)
>               (setq coding-system nil))
>
> Is (error "Invalid coding system: %s" coding-system) really what
> we want instead of (setq coding-system nil)?

I think it would be better to signal an error there than to fall back on
the default coding system, since the author of the file clearly intends
that a specific coding system be used.

--
Kevin Rodgers