Re: deprecated: ISO-Latin1 characters in identifiers, plus Illegal character
| Newsgroups | gmane.comp.lang.ocaml.beginners |
|---|---|
| Message-ID | <CAPFanBHHt30BJk7eUs9ygKCBDss=DemeHqh1_jCsBH9LEWt+gw@mail.gmail.com> |
Previous OCaml versions tolerated accented characters in identifiers, but only in Latin1-encoded files (and this had been documented as deprecated for years). Recent versions will complain about such Latin1 characters in identifiers, but not allow UTF8 characters (outside the ASCII fragment) to replace them, given than lexical syntax design tends to be fraught with difficulties. I should note that Peter "whitequark" Zotov has proposed a preprocessing frontend to the OCaml compiler that accepts richer UTF8 identifiers. https://github.com/whitequark/ocaml-m17n My understanding of this work is that it meant more as a technological display than for end-user consumption right now -- unless you really know what you're getting into. On Mon, Apr 27, 2015 at 1:47 PM, Hendrik Boom [email protected] [ocaml_beginners] <[email protected]> wrote: > 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 > > > ------------------------------------ > Posted by: Hendrik Boom <[email protected]> > ------------------------------------ > > Archives up to December 31, 2011 are also downloadable at > http://www.connettivo.net/cntprojects/ocaml_beginners > The archives of the very official ocaml list (the seniors' one) can be > found at http://caml.inria.fr > Attachments are banned and you're asked to be polite, avoid flames etc. > ------------------------------------ > > Yahoo Groups Links > > > >