As you certainly noticed the patches merging the FC branch are now in
the HEAD. The resulting compiler has at least one remaining merge bug
(which breaks comparing of iface versus boot file types). So, if you
are concerned about having a fully functional HEAD build, you may want
to hold off a few days before pulling.
The pushed patches contain two tags "Before FC branch merge" and "After
FC branch merge" that bracket all patches derived from the branch.
As far as new functionality goes, the new code includes the following:
* an extension of Core along the lines of the FC paper
<http://www.cse.unsw.edu.au/~chak/papers/SCP06.html> with some
extra details about the realisation of FC within GHC on the Trac
page
<http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes>;
* a new implementation of GADTs following the approach outlined in
the FC paper; and
* indexed data types and indexed newtypes (which is a
generalisation of the associated data types of
<http://www.cse.unsw.edu.au/~chak/papers/CKPM05.html>)
BUT the check for overlapping data/newtype instances is still
missing. Details about the implementation of indexed types
(including the source syntax and details on the admissible
declarations) are also on a Trac page:
<http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions>.
The patches change the format of .hi files, so you need to recompile
from scratch.
Manuel
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
