summaryrefslogtreecommitdiff
path: root/compiler/types
Commit message (Expand)AuthorAgeFilesLines
...
* Add Type.tyConAppTyCon_maybe and tyConAppArgs_maybe, and use themSimon Peyton Jones2011-08-032-7/+21
* Fix a nasty scoping error in OptCoercion (EtaAllR/L)Simon Peyton Jones2011-07-271-4/+6
* Improve StgLint -- a bitSimon Peyton Jones2011-07-271-15/+38
* A nice tidy-up for CvSubst and liftCoSubstSimon Peyton Jones2011-07-233-72/+53
* A bit more work to to keep the right in-scope set aroundSimon Peyton Jones2011-07-152-59/+57
* derive Typeable (eliminate deprecation warnings for mkTyCon)Simon Marlow2011-07-122-9/+5
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-06-301-2/+2
|\
| * SafeHaskell: Try to be consistent in naming.David Terei2011-06-291-2/+2
* | A second bite at the case-floating patchSimon Peyton Jones2011-06-301-2/+11
|/
* Add equality superclassesSimon Peyton Jones2011-06-221-13/+8
* Remove "silent superclass parameters"Simon Peyton Jones2011-06-221-10/+3
* SafeHaskell: Fix bug with overlapping instances reporting wrong errorDavid Terei2011-06-171-5/+4
* SafeHaskell: Move safe haskell flag into Overlap flagDavid Terei2011-06-171-14/+11
* SafeHaskell: Restrict OverlappingInstances.David Terei2011-06-171-22/+60
* Merge branch 'ghc-generics'Jose Pedro Magalhaes2011-05-261-1/+1
|\
| * Better output for -ddump-deriv when using generics.Jose Pedro Magalhaes2011-05-251-1/+1
* | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2011-05-265-543/+361
|\ \ | |/
| * Remove comment.Jose Pedro Magalhaes2011-05-231-5/+1
| * Simon's fixes to the generated type instances in GenericsSimon Peyton Jones2011-05-202-39/+44
| * Fix some small things broken with the last merge.Jose Pedro Magalhaes2011-05-121-2/+4
| * Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-genericsJose Pedro Magalhaes2011-05-1211-1927/+2335
| |\
| * | Make the errors for DeriveGeneric consistent with other deriving errors.Jose Pedro Magalhaes2011-05-091-5/+5
| * | Improve the error message when we cannot derive Generic.Jose Pedro Magalhaes2011-05-091-13/+31
| * | Rename `Representable0` to `Generic`.Jose Pedro Magalhaes2011-05-091-18/+18
| * | Add a new flag XDefaultSignatures to enable just the signatures on the defaul...Jose Pedro Magalhaes2011-05-041-6/+0
| * | Use NoSelector when a constructor does not have fields.Jose Pedro Magalhaes2011-05-031-19/+26
| * | Remove the hasGenerics field of TyCon, improve the way the Generics flags is ...Jose Pedro Magalhaes2011-05-022-35/+25
| * | Remove some debug info left lying around.Jose Pedro Magalhaes2011-04-291-6/+4
| * | Generate Par0 when appropriate.Jose Pedro Magalhaes2011-04-291-4/+10
| * | Remove a lot of stuff from the old generic mechanism.Jose Pedro Magalhaes2011-04-281-463/+18
| * | Merge remote branch 'origin/master' into ghc-genericsSimon Peyton Jones2011-04-201-5/+8
| |\ \
| * | | Small fixes to the generics branch to get rid of warnings,unknown2011-04-142-16/+9
| * | | Initial commit for Pedro's new generic default methodssimonpj2011-04-123-138/+392
* | | | Treat the (~) type constructor a bit speciallySimon Peyton Jones2011-05-261-2/+5
| |_|/ |/| |
* | | The final batch of changes for the new coercion representationSimon Peyton Jones2011-05-124-513/+429
* | | Remove special case for EqPred in CoreViewSimon Peyton Jones2011-05-061-1/+1
* | | Be cleverer in dataConCannotMatch, fixes Trac #5168Simon Peyton Jones2011-05-041-4/+3
* | | Merge commitSimon Peyton Jones2011-05-042-16/+9
|\ \ \
| * | | A few more wibbles on ghc-new-coSimon Peyton Jones2011-05-022-52/+5
| * | | Merge remote branch 'origin/master' into ghc-new-coSimon Peyton Jones2011-04-301-8/+51
| |\ \ \ | | | |/ | | |/|
* | | | Merge in changes from HEADSimon Peyton Jones2011-05-022-8/+13
|\ \ \ \ | | |/ / | |/| |
| * | | Pretty-print type variables that are operators correctlySimon Peyton Jones2011-04-201-5/+8
| | |/ | |/|
* | | Comment changes to satisfy HaddockSimon Peyton Jones2011-04-201-15/+4
| |/ |/|
* | This BIG PATCH contains most of the work for the New Coercion RepresentationSimon Peyton Jones2011-04-1911-1731/+2240
|/
* Add a new static flag -fno-opt-coercionsimonpj@microsoft.com2011-03-311-1/+4
* New statistics flags -ddump-core-statssimonpj@microsoft.com2011-03-311-1/+24
* Comments onlysimonpj@microsoft.com2011-03-021-5/+18
* Use "on the spot" solving for fundepssimonpj@microsoft.com2011-02-171-121/+178
* Comments onlysimonpj@microsoft.com2011-01-191-1/+1
* Major refactoring of the type inference enginesimonpj@microsoft.com2011-01-122-32/+45
View Lorry Controller Status