Changes between Version 11 and Version 12 of Unicode


Ignore:
Timestamp:
Dec 6, 2005 3:01:36 AM (10 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Unicode

    v11 v12  
    3434 * Hugs treats input as being in the encoding specified by the current locale, but permits Unicode only in comments and character and string literals.
    3535 * Others treat source code as Latin-1.
     36 * Jhc supports several uses of unicode characters instead of the haskell
     37   keywords.
     38   * [chr 0x2192] '→' is equivalent to '->'
     39   * [chr 0x2190] '←' is equivalent to '<-
     40   * [chr 0x2237] '∷' is equivalent to '::'
     41   * [chr 0x2025] '‥' is equivalent to '..'
     42   * [chr 0x21d2] '⇒' is equivalent to '=>'
     43   * [chr 0x2200] '∀' is equivalent to 'forall'
     44   * [chr 0x2203] '∃' is equivalent to 'exists' -- future extension will use
     45   * in addition there is experimental support for defining new operators and
     46     names using various unicode characters.
    3647
    3748Some things we could do: