| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |
|
|
|
|
|
|
|
| |
Linear implicit parameters have been in GHC quite a while,
but we decided they were a mis-feature and scheduled them for
removal. This patch does the job.
|
|
|
|
|
|
|
|
|
|
|
| |
Mon Sep 18 19:42:48 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Option -findexed-types
Fri Sep 8 21:35:37 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Option -findexed-types
- Introduced the switch -findexed-types to activate the indexed type family
framework.
- The switch enables the special 'family' and allows kind signatures (which are
currently compulsory for associated families).
|
|
|
|
|
| |
Tue Aug 15 20:16:00 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Use family and instance keyword to identify indexed types
|
|
|
|
|
| |
Fri Jul 28 21:52:46 EDT 2006 Manuel M T Chakravarty <chak@cse.unsw.edu.au>
* Parser support for assoc synonyms
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
Most of the other users of the fptools build system have migrated to
Cabal, and with the move to darcs we can now flatten the source tree
without losing history, so here goes.
The main change is that the ghc/ subdir is gone, and most of what it
contained is now at the top level. The build system now makes no
pretense at being multi-project, it is just the GHC build system.
No doubt this will break many things, and there will be a period of
instability while we fix the dependencies. A straightforward build
should work, but I haven't yet fixed binary/source distributions.
Changes to the Building Guide will follow, too.
|