Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Implement overlapping type family instances. | Richard Eisenberg | 2012-12-21 | 1 | -2/+2 |
* | Major refactoring of CoAxioms | Simon Peyton Jones | 2012-01-03 | 1 | -3/+3 |
* | Fix loading VectInfo for type constructors | Manuel M T Chakravarty | 2011-11-14 | 1 | -2/+2 |
* | Clean up and complete the vectorisation of type classes | Manuel M T Chakravarty | 2011-11-04 | 1 | -2/+2 |
* | SafeHaskell: Fix validation errors when Safe base used. | David Terei | 2011-06-17 | 1 | -1/+1 |
* | SafeHaskell: Move safe haskell flag into Overlap flag | David Terei | 2011-06-17 | 1 | -1/+1 |
* | SafeHaskell: Restrict OverlappingInstances. | David Terei | 2011-06-17 | 1 | -13/+14 |
* | Add (a) CoreM monad, (b) new Annotations feature | simonpj@microsoft.com | 2008-10-30 | 1 | -1/+3 |
* | Improved VectInfo | Manuel M T Chakravarty | 2007-05-08 | 1 | -0/+3 |
* | Rough matches for family instances | Manuel M T Chakravarty | 2006-10-10 | 1 | -8/+10 |
* | Fix up the typechecking of interface files during --make | simonpj@microsoft.com | 2006-10-06 | 1 | -2/+2 |
* | Reorganisation of the source tree | Simon Marlow | 2006-04-07 | 1 | -0/+13 |