summaryrefslogtreecommitdiff
path: root/compiler/iface/TcIface.lhs-boot
Commit message (Expand)AuthorAgeFilesLines
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-2/+2
* Major refactoring of CoAxiomsSimon Peyton Jones2012-01-031-3/+3
* Fix loading VectInfo for type constructorsManuel M T Chakravarty2011-11-141-2/+2
* Clean up and complete the vectorisation of type classesManuel M T Chakravarty2011-11-041-2/+2
* SafeHaskell: Fix validation errors when Safe base used.David Terei2011-06-171-1/+1
* SafeHaskell: Move safe haskell flag into Overlap flagDavid Terei2011-06-171-1/+1
* SafeHaskell: Restrict OverlappingInstances.David Terei2011-06-171-13/+14
* Add (a) CoreM monad, (b) new Annotations featuresimonpj@microsoft.com2008-10-301-1/+3
* Improved VectInfoManuel M T Chakravarty2007-05-081-0/+3
* Rough matches for family instancesManuel M T Chakravarty2006-10-101-8/+10
* Fix up the typechecking of interface files during --makesimonpj@microsoft.com2006-10-061-2/+2
* Reorganisation of the source treeSimon Marlow2006-04-071-0/+13