atze at cs.uu.nl schrieb:
> Utrecht Haskell Compiler -- first release, version 1.0.0
> ========================================================
>>> The UHC team is happy to announce the first public release of the
> Utrecht Haskell Compiler (UHC).
Great to see another haskell compiler !
> Features:
>> * Experimental language extensions, some of which have not been
> implemented before.
Maybe you could add a section 'Differences to GHC 6.10' to the manual ?
From a quick look, partial type signatures and local instances seem to
be 'novel features', and there are some differences with respect to type
/ kind inference.
Section 4.2 (Proposed in haskell prime but not in UHC) and Section 4.3
(Available in UHC but not in Haskell98 or Haskell prime) are a little
bit confusing (and imho superfluous):
- Many language extensions have been 'proposed' for haskell prime
(http://hackage.haskell.org/trac/haskell-prime/wiki/Status).
- MPTCs are accepted for haskell prime
- 'Existential Quantification' is accepted for haskell prime, but
different from 'Existential Types' described in the manual
- Functional Dependencies are not available in UHC ;)
best regards,
benedikt