summaryrefslogtreecommitdiff
path: root/compiler/types
Commit message (Expand)AuthorAgeFilesLines
* Whitespace only in types/FamInstEnv.lhsIan Lynagh2012-10-111-142/+135
* Compare the kinds of type variables when comparing typesSimon Peyton Jones2012-10-021-2/+14
* Merge branch 'tc-untouchables'Simon Peyton Jones2012-10-025-56/+162
|\
| * Merge branch 'tc-untouchables' of http://darcs.haskell.org/ghc into tc-untouc...Simon Peyton Jones2012-10-011-4/+9
| |\
| | * Improve pretty printing for coercions (exp transistivity chains)Simon Peyton Jones2012-10-011-4/+9
| * | Comments about silent superclassesSimon Peyton Jones2012-10-011-0/+5
| |/
| * Improve pretty printing for coercionsSimon Peyton Jones2012-09-281-1/+1
| * Be careful about kinds when eta-expanding AppCoSimon Peyton Jones2012-09-181-2/+25
| * Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-33/+35
| * Implement 'left' and 'right' coercionsSimon Peyton Jones2012-09-172-12/+75
| * Add type "holes", enabled by -XTypeHoles, Trac #5910Simon Peyton Jones2012-09-171-5/+13
| * Merge remote-tracking branch 'origin/master' into tc-untouchablesSimon Peyton Jones2012-09-172-18/+19
| |\
| * | Minor fixes, mostly simplificaitonsSimon Peyton Jones2012-08-291-1/+1
* | | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-09-172-18/+19
|\ \ \ | | |/ | |/|
| * | Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-09-171-10/+11
| |\ \
| | * | Move more constants to platformConstantsIan Lynagh2012-09-161-1/+1
| | * | Move wORD_SIZE into platformConstantsIan Lynagh2012-09-161-10/+11
| | |/
| * | Fix Trac #7237; mixup with empty tuplesSimon Peyton Jones2012-09-151-8/+8
| |/
* | Nicer pretty printing for tuple kindsSimon Peyton Jones2012-08-312-16/+27
|/
* Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2012-07-201-0/+1
|\
| * Move -fno-warn-orphan flag into individual modulesIan Lynagh2012-07-151-0/+1
* | Make seqType etc take accouunt of kinds that are now non-trivialSimon Peyton Jones2012-07-201-1/+1
|/
* Comments about associated type tyvar namingSimon Peyton Jones2012-07-141-4/+21
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-07-101-2/+9
|\
| * Add silent superclass parameters (again)Simon Peyton Jones2012-06-271-2/+9
* | More changes to kind inference for type and class declarationsSimon Peyton Jones2012-07-101-1/+8
|/
* Remove duplicated commentJose Pedro Magalhaes2012-06-211-2/+0
* Simplify the implementation of Implicit ParametersSimon Peyton Jones2012-06-135-98/+22
* Remove some redundant Show instancesIan Lynagh2012-06-121-3/+0
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-06-075-82/+63
|\
| * Merge remote-tracking branch 'origin/unboxed-tuple-arguments2'Paolo Capriotti2012-06-053-82/+59
| |\
| | * Support code generation for unboxed-tuple function argumentsunboxed-tuple-arguments2Max Bolingbroke2012-05-153-82/+59
| * | Change how macros like ASSERT are definedIan Lynagh2012-06-054-0/+4
* | | Re-order case branchesSimon Peyton Jones2012-06-071-1/+1
|/ /
* | Applied lunaris's patch to allow promoted types and rich kinds in Template Ha...Richard Eisenberg2012-05-181-0/+11
* | Be careful to instantiate kind variables when dealing with functional depende...Simon Peyton Jones2012-05-161-35/+52
|/
* Fix the the pure unifier so that it unifies kindsSimon Peyton Jones2012-05-142-32/+22
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-05-111-1/+1
|\
| * Fix bug in expandTypeSynonyms that could rarely cause problemsMax Bolingbroke2012-05-101-1/+1
* | Delete dead code mkIParamTyConSimon Peyton Jones2012-05-111-6/+0
|/
* Yet another major refactoring of the constraint solverSimon Peyton Jones2012-05-072-7/+22
* Merge branch 'master' of http://darcs.haskell.org//ghcSimon Peyton Jones2012-04-303-20/+27
|\
| * Pretty printing and debug improvementsSimon Peyton Jones2012-04-273-20/+27
* | More explicit pretty-printing of promoted TyCons with -dppr-debugSimon Peyton Jones2012-04-301-1/+2
|/
* Improve pretty-printingSimon Peyton Jones2012-04-251-1/+2
* Merge branch 'master' of http://darcs.haskell.org/ghcSimon Peyton Jones2012-04-241-1/+0
|\
| * Sort instances by location before printing themSimon Peyton Jones2012-04-231-1/+0
* | Respect kind-variable scoping when instantiating dfunsSimon Peyton Jones2012-04-221-18/+16
|/
* Simplify construction of equality predicatesSimon Peyton Jones2012-04-161-8/+1
* Fix Trac #5952, by changing the Outputable TyCon instance,Simon Peyton Jones2012-04-053-25/+27
View Lorry Controller Status