Changes between Version 11 and Version 12 of Unicode


Ignore:
Timestamp:
Dec 6, 2005 3:01:36 AM (9 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: