Re: deprecated: ISO-Latin1 characters in identifiers, plus Illegal character

"Hendrik Boom [email protected] [ocaml_beginners]" <[email protected]> Mon, 27 Apr 2015 07:47:35 -0400

Newsgroups	gmane.comp.lang.ocaml.beginners
Message-ID	<[email protected]>

On Mon, Apr 27, 2015 at 09:52:01AM +0200, Gabriel Scherer [email protected] [ocaml_beginners] wrote:
> You seem to be writing
>   #use??"gen_intf".ml;;
> instead of
>   #use "gen_intf".ml;;
> 
> The subset of ISO-Latin1 that intersects with ASCII and UTF-8 is allowed,
> the compiler will complain on the rest (typically accented letters of
> various European languages).

Should I interpret this that the characters would be OK if they were 
encoded with UTF-8?  Or that the characters themselves are forbidden?

-- hendrik