summaryrefslogtreecommitdiff
path: root/compiler/typecheck
Commit message (Expand)AuthorAgeFilesLines
* Wibbles (mainly comments)wip/T2893Simon Peyton Jones2018-06-013-10/+25
* Implement QuantifiedConstraintsSimon Peyton Jones2018-05-2316-475/+1020
* Check for type families in an instance contextSimon Peyton Jones2018-05-211-1/+14
* Make dischargeFmv handle DerivedsSimon Peyton Jones2018-05-214-18/+25
* Remove TcType.toTcTypeSimon Peyton Jones2018-05-211-62/+14
* Do better sharing in the short-cut solverSimon Peyton Jones2018-05-213-63/+120
* Do not unify representational equalitiesSimon Peyton Jones2018-05-182-3/+22
* Debug tracing onlySimon Peyton Jones2018-05-183-5/+10
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-1811-273/+342
* Tiny refactorSimon Peyton Jones2018-05-181-2/+2
* Comments onlySimon Peyton Jones2018-05-181-2/+2
* Fix GHCi space leaks (#15111)Simon Marlow2018-05-172-6/+13
* Fix #15073 by suggesting UnboxedTuples in an error messageRyan Scott2018-05-161-1/+4
* Fix #15039 by pretty-printing equalities more systematicallyRyan Scott2018-05-161-2/+6
* Less Tc inside simplCore (Phase 1 for #14391)Artem Pelenitsyn2018-05-152-23/+67
* Tidy up error suppressionSimon Peyton Jones2018-05-151-23/+33
* Fix #14875 by introducing PprPrec, and using itRyan Scott2018-05-131-3/+4
* TcInteract: Ensure that tycons have representations before solving for TypeableBen Gamari2018-05-131-0/+3
* Simplify the kind checking for type/class declsSimon Peyton Jones2018-05-081-103/+129
* Split TrieMap into a general (TrieMap) and core specific (CoreTrieMap) module.klebinger.andreas@gmx.at2018-05-052-2/+2
* Better linting for typesSimon Peyton Jones2018-04-271-2/+2
* Make out-of-scope errors more prominentSimon Peyton Jones2018-04-271-3/+15
* Refactor tcExtendLocalFamInst a bitSimon Peyton Jones2018-04-271-28/+45
* TTG : complete for balance of hsSyn ASTAlan Zimmerman2018-04-2722-267/+395
* Caching coercion roles in NthCo and coercionKindsRole refactoringTobias Dammers2018-04-206-13/+13
* Lint types in newFamInstRyan Scott2018-04-191-2/+14
* Fix #15012 with a well-placed use of AnyRyan Scott2018-04-191-1/+35
* TTG for HsBinds and Data instances Plan BAlan Zimmerman2018-04-1311-100/+151
* Revert "Fix #14838 by marking TH-spliced code as FromSource"Ben Gamari2018-04-101-5/+3
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-0918-567/+637
* Remove HasSourceText and SourceTextX classesAlan Zimmerman2018-04-077-18/+20
* Fix #14991.Richard Eisenberg2018-04-022-2/+4
* Clarify comments around dropping Derived constraintsRichard Eisenberg2018-03-311-1/+4
* Track type variable scope more carefully.Richard Eisenberg2018-03-3124-807/+1445
* Minor refactor and commmentsSimon Peyton Jones2018-03-271-17/+24
* Fix performance of flattener patch (#12919)Alexander Vieth2018-03-261-129/+370
* Fix #12919 by making the flattener homegeneous.Richard Eisenberg2018-03-267-445/+850
* Fix #14916 with an additional validity check in deriveTyDataRyan Scott2018-03-253-4/+15
* Fix panic on module re-exports of DuplicateRcordFieldsAdam Gundry2018-03-251-13/+32
* Fix two pernicious bugs in DeriveAnyClassRyan Scott2018-03-252-79/+124
* Support adding objects from THAlec Theriault2018-03-252-4/+10
* Allow PartialTypeSignatures in standalone deriving contextsRyan Scott2018-03-235-106/+274
* Special-case record fields ending with hash when deriving ReadRyan Scott2018-03-231-6/+10
* Allow as-patterns in unidirectional patttern synonymsSimon Peyton Jones2018-03-211-65/+0
* Fix #14869 by being more mindful of Type vs. ConstraintRyan Scott2018-03-211-2/+5
* Don't permit data types with return kind ConstraintRyan Scott2018-03-192-4/+5
* Fix #14934 by including axSub0R in typeNatCoAxiomRulesRyan Scott2018-03-191-9/+84
* Comments and tiny refactorSimon Peyton Jones2018-03-191-0/+9
* Fix #14888 by adding more special cases for ArrowTRyan Scott2018-03-051-0/+1
* Respect Note [The tcType invariant]Simon Peyton Jones2018-03-051-14/+45
View Lorry Controller Status