Changes between Version 22 and Version 23 of Status/April07


Ignore:
Timestamp:
May 1, 2007 7:44:37 AM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/April07

    v22 v23  
    8383   declaration anywhere, rather than only where the data type is 
    8484   declared.  Details of the syntax have not yet quite settled. See 
    85    also http://www.haskell.org/pipermail/haskell-prime/2006-October/001725.html. 
     85   also http://haskell.org/haskellwiki/GHC/StandAloneDeriving. 
    8686 
    8787 * Lennart Augustsson implemented overloaded string literals.  So now 
    88    just as a numeric literal has type `∀ a. Num a ⇒ a`, 
    89    so a string literal has type `∀ a. IsString a ⇒ a`, 
     88   just as a numeric literal has type `∀a. Num a ⇒ a`, 
     89   so a string literal has type `∀a. IsString a ⇒ a`, 
    9090   The documentation is here: http://www.haskell.org/ghc/dist/current/docs/users_guide/other-type-extensions.html#overloaded-strings. 
    9191 
    9292A less successful feature of the last year has been the 
    93 story on impredicative instantiation (see the paper "Boxy types"). 
     93story on impredicative instantiation (see the paper [http://research.microsoft.com/~simonpj/papers/boxy Boxy types]). 
    9494The feature is implemented, but the implementation is significantly 
    9595more complicated than we expected; and it delivers fewer benefits than