Changes between Version 22 and Version 23 of Status/April07


Ignore:
Timestamp:
May 1, 2007 7:44:37 AM (8 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