summaryrefslogtreecommitdiff
path: root/compiler/types
Commit message (Expand)AuthorAgeFilesLines
* Small refactoringsghc-axiomsSimon Peyton Jones2012-01-033-127/+103
* Merge commit with HEADSimon Peyton Jones2012-01-033-53/+36
|\
| * Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-12-231-1/+1
| |\
| | * Very small tweaks to pave the way for solving kind constraints in the simplif...Dimitrios Vytiniotis2011-12-221-1/+1
| * | Fix an outright bug in the implementation of default declsSimon Peyton Jones2011-12-231-1/+1
| |/
| * Tidy up pretty-printing for variablesSimon Peyton Jones2011-12-191-1/+3
| * Document the "kind invariant", and check itSimon Peyton Jones2011-12-132-50/+31
* | Lots of refactoring of the CoAxiom stuffSimon Peyton Jones2011-12-294-159/+168
* | Represent type family instances by CoAxioms, not TyCons.Jose Pedro Magalhaes2011-12-224-102/+212
|/
* Allow full constraint solving under a for-all (Trac #5595)Simon Peyton Jones2011-12-053-77/+32
* Solved goal caching and zonking optimisations.Dimitrios Vytiniotis2011-11-281-0/+1
* Fix kind checking of tuplesJose Pedro Magalhaes2011-11-252-6/+14
* Rename ? to OpenKind and ?? to ArgKindJose Pedro Magalhaes2011-11-213-31/+7
* Remove a quadratic complexity blow-up in coercionKindSimon Peyton Jones2011-11-171-15/+36
* Move mkPiTypes back to Type, rename mkForAllArrowKinds to mkPiKindsJose Pedro Magalhaes2011-11-161-6/+19
* Better error messages when we know the expected kind in tcHsSigTypeJose Pedro Magalhaes2011-11-161-8/+13
* GHC gets a new constraint solver. More efficient and smaller in size.Dimitrios Vytiniotis2011-11-164-61/+83
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-1110-261/+579
* Remove some out-of-date commentsIan Lynagh2011-11-051-6/+0
* Use -fwarn-tabs when validatingIan Lynagh2011-11-0411-0/+77
* be specific when importing Data.TypeableSimon Marlow2011-11-043-3/+3
* VECTORISE pragmas for type classes and instancesManuel M T Chakravarty2011-10-311-7/+30
* Tabs -> spacesManuel M T Chakravarty2011-10-311-100/+100
* Further refining the generation of Generic instances.Jose Pedro Magalhaes2011-10-061-403/+0
* Wibbles from Simon and PedroSimon Peyton Jones2011-10-061-0/+3
* Merge branch 'master' into fix#5464Jose Pedro Magalhaes2011-10-042-2/+6
|\
| * Handle newtypes and type functions correctly in FFI types; fixes #3008Ian Lynagh2011-10-011-1/+1
| * Change the way IfExtName is serialized so (most) wired-in names get special r...Max Bolingbroke2011-09-271-1/+5
* | Refactor the implementation.Jose Pedro Magalhaes2011-10-041-2/+2
* | Fix #5464: Change the way the extra bindings for the genericJose Pedro Magalhaes2011-09-261-6/+10
|/
* Implement GHCi command :kind! which normalises its typeSimon Peyton Jones2011-09-231-3/+5
* Add support for all top-level declarations to GHCiSimon Marlow2011-09-213-65/+198
* Merge branch 'no-pred-ty'Max Bolingbroke2011-09-0914-422/+430
|\
| * Nuke isCertainlyPredReprTySimon Peyton Jones2011-09-071-15/+4
| * Comments and layoutSimon Peyton Jones2011-09-072-7/+8
| * Minor refactoring of dsLCoercion, plus commentsSimon Peyton Jones2011-09-071-6/+10
| * Implement -XConstraintKindMax Bolingbroke2011-09-0614-397/+418
| * Remove bogus isCoercionKind function and its sole useMax Bolingbroke2011-09-063-10/+3
* | Implement associated type defaultsMax Bolingbroke2011-09-091-14/+32
|/
* Eliminate isHiBootTyCon in favour of isAbstractTyConSimon Peyton Jones2011-09-051-7/+0
* Export a tiny bit more info with AbstractTyCon (fixes #5424)Simon Peyton Jones2011-09-022-17/+50
* Some minor wibbling in printing source locationsSimon Peyton Jones2011-09-023-4/+4
* Comments about type-family parentsSimon Peyton Jones2011-09-011-19/+30
* Make pprTyThingInContenxt handle associated types rightSimon Peyton Jones2011-08-221-4/+7
* Use parenSymOcc when displaying an export list in RnNames (fixes Trac #5385)Simon Peyton Jones2011-08-082-6/+3
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-08-043-158/+49
|\
| * Tidy up handling of PredTys: remove dead code, move functions deconstructing ...Max Bolingbroke2011-08-033-158/+49
* | Print type contexts with fsep, not sepSimon Peyton Jones2011-08-031-2/+23
|/
* Fix a grevious error in InstEnv: Trac #5095Simon Peyton Jones2011-08-031-28/+17
* isCoVarType should look at the *representation* type,Simon Peyton Jones2011-08-032-25/+10
View Lorry Controller Status