summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcType.lhs
Commit message (Expand)AuthorAgeFilesLines
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-1727/+0
* Rename Untouchables to TcLevelSimon Peyton Jones2014-12-021-58/+60
* Implement Partial Type SignaturesThomas Winant2014-11-281-7/+10
* Rename some of the functions in NameSet, to make the uniform with VarSet etcSimon Peyton Jones2014-11-281-16/+16
* Put the decision of when a unification variable can unify with a polytypeSimon Peyton Jones2014-11-211-10/+30
* Implement full co/contra-variant subsumption checking (fixes Trac #9569)Simon Peyton Jones2014-11-211-14/+42
* Split SynTyCon to SynonymTyCon and FamilyTyConJan Stolarek2014-11-201-13/+1
* Fix #9404 by removing tcInfExpr.Richard Eisenberg2014-11-121-8/+39
* Simon's major commit to re-engineer the constraint solverSimon Peyton Jones2014-11-041-33/+74
* fix a typo in comments: normaliseFfiTypeYuras Shumovich2014-10-241-1/+1
* Make Applicative a superclass of MonadAustin Seipp2014-09-091-0/+2
* Define mapUnionVarSet, and use itSimon Peyton Jones2014-08-291-2/+2
* Refactor FFI error messagesSimon Peyton Jones2014-07-251-53/+59
* White space onlySimon Peyton Jones2014-06-111-1/+1
* No need to call defaultKind in mkTcEqPredSimon Peyton Jones2014-05-281-1/+1
* Refactoring around TyCon.isSynTyConSimon Peyton Jones2014-05-151-1/+1
* Add LANGUAGE pragmas to compiler/ source filesHerbert Valerio Riedel2014-05-151-0/+2
* Add missing kind-check for tcEqType on forall-typesSimon Peyton Jones2014-03-241-3/+4
* Fix the treatment of lexically scoped kind variables (Trac #8856)Simon Peyton Jones2014-03-071-23/+13
* Cleaned up Maybes.lhsBaldur Blöndal2014-02-131-2/+2
* Comments onlySimon Peyton Jones2013-12-281-2/+2
* Fix type-equality in the type checker (fixes Trac #8553)Simon Peyton Jones2013-11-221-1/+31
* Include funTyCon in oprhNamesOfType (fixes Trac #8535)Simon Peyton Jones2013-11-151-7/+9
* Untabify and remove trailing whitespaceSimon Peyton Jones2013-10-251-288/+281
* Remove canSolve in favour of canRewriteSimon Peyton Jones2013-10-251-0/+6
* TyposKrzysztof Gogolewski2013-10-091-1/+1
* Globally replace "hackage.haskell.org" with "ghc.haskell.org"Simon Marlow2013-10-011-1/+1
* Add support for evaluation of type-level natural numbers.Iavor S. Diatchki2013-09-121-0/+2
* Fix AMP warnings.Austin Seipp2013-09-111-0/+9
* Make Specialise close over kind variables (fixes Trac #8196)Simon Peyton Jones2013-09-021-1/+1
* Implement "roles" into GHC.Richard Eisenberg2013-08-021-3/+4
* Eliminate (given) flatten-skolems in favour of user type variablesSimon Peyton Jones2013-05-031-2/+8
* Implement type family instance support for ":info" (#4175)Patrick Palka2013-03-151-1/+1
* Pure refactoringSimon Peyton Jones2013-01-281-155/+0
* Refactor the invariants for ClsInstsSimon Peyton Jones2013-01-011-12/+9
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-8/+20
* Merge branch 'master' of darcs.haskell.org:/home/darcs/ghcSimon Peyton Jones2012-12-051-1/+2
|\
| * isTauTy should be True for LitTy (see Trac #7459)Simon Peyton Jones2012-12-011-1/+2
* | Add commentSimon Peyton Jones2012-12-051-0/+1
|/
* Do not instantiate unification variables with polytypesSimon Peyton Jones2012-10-311-37/+81
* Fix a long-standing bug in tidyingSimon Peyton Jones2012-10-191-26/+8
* Move occurCheckExpand from TcCanonical to TcTypeSimon Peyton Jones2012-10-151-6/+90
* Make a start towards eta-rules and injective familiesSimon Peyton Jones2012-09-181-2/+3
* Implement 'left' and 'right' coercionsSimon Peyton Jones2012-09-171-0/+1
* Another refactoring of constraintsSimon Peyton Jones2012-09-171-14/+5
* Comments about how the untouchables stuff worksSimon Peyton Jones2012-09-171-26/+85
* Remove historical Unique parameter from pushUntouchablesSimon Peyton Jones2012-09-031-30/+2
* A bunch more simplification and refactoring to the constraint solverSimon Peyton Jones2012-09-011-1/+31
* Minor fixes, mostly simplificaitonsSimon Peyton Jones2012-08-291-2/+24
* When floating constraints outwards, promote the floated type variablesSimon Peyton Jones2012-08-281-1/+16
View Lorry Controller Status