summaryrefslogtreecommitdiff
path: root/compiler/types
Commit message (Expand)AuthorAgeFilesLines
...
* Get rid of varSetElemsWellScoped in abstractFloatsBartosz Nitka2016-04-222-2/+7
* Remove unused tyCoVarsOfTelescopeBartosz Nitka2016-04-221-8/+0
* Warn about simplifiable class constraintsSimon Peyton Jones2016-04-221-24/+21
* Remove mysterious varSetElemsWellScoped in tidyFreeTyCoVarsBartosz Nitka2016-04-211-2/+2
* Point to note about FV eta-expansion performanceBartosz Nitka2016-04-201-0/+1
* Rename FV related functionsBartosz Nitka2016-04-203-68/+68
* Build a correct substitution in dataConInstPatBartosz Nitka2016-04-201-0/+1
* Reduce use of instances in hs-boot filesSimon Peyton Jones2016-04-205-15/+18
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-191-12/+0
* Refactor computing dependent type varsSimon Peyton Jones2016-04-191-41/+0
* Define TyCoRep.ppSuggestExplicitKinds, and use itSimon Peyton Jones2016-04-192-2/+10
* Comments only, on Type.topSortTyVarsSimon Peyton Jones2016-04-151-2/+7
* Increase an InScopeSet for a substitutionRichard Eisenberg2016-04-151-1/+2
* Fix #11814 by throwing more stuff into InScopeSetsRichard Eisenberg2016-04-121-2/+2
* Reduce default for -fmax-pmcheck-iterations from 1e7 to 2e6Herbert Valerio Riedel2016-04-101-2/+6
* Comments only in Unify.hsSimon Peyton Jones2016-03-301-69/+81
* Don't recompute some free vars in lintCoercionBartosz Nitka2016-03-302-6/+0
* Typos in non-codeGabor Greif2016-03-301-2/+2
* Use the correct substitution in lintCoercionBartosz Nitka2016-03-292-0/+6
* Clarify Note [Kind coercions in Unify]Richard Eisenberg2016-03-261-1/+24
* Fix #11754 by adding an additional check.Richard Eisenberg2016-03-261-3/+4
* A raft of comments about TyBindersSimon Peyton Jones2016-03-252-196/+293
* Tidy up handling of coercion variablesSimon Peyton Jones2016-03-241-1/+3
* Comments onlySimon Peyton Jones2016-03-241-1/+1
* Default RuntimeRep variables unless -fprint-explicit-runtime-repsBen Gamari2016-03-241-3/+86
* Move applyTysX near piResultTysSimon Peyton Jones2016-03-231-12/+12
* Comment fixSimon Peyton Jones2016-03-231-1/+1
* Use the correct in-scope set in coercionKindBartosz Nitka2016-03-211-2/+12
* Improve panicking outputRichard Eisenberg2016-03-211-3/+3
* Zonk before calling splitDepVarsOfType.Richard Eisenberg2016-03-211-8/+18
* Track specified/invisible more carefully.Richard Eisenberg2016-03-213-9/+28
* Make equality print better. (#11712)Richard Eisenberg2016-03-211-16/+60
* Add two small optimizations. (#11196)Richard Eisenberg2016-03-212-8/+14
* Fix exponential algorithm in pure unifier.Richard Eisenberg2016-03-211-22/+30
* Remove unused substTyWithBinders functionsBartosz Nitka2016-03-212-25/+3
* Remove unnecessary Ord instance for ConLikeBartosz Nitka2016-03-211-1/+1
* Delete a misleading comment in TyConBartosz Nitka2016-03-211-3/+0
* Expand Note [Non-trivial definitional equality]Richard Eisenberg2016-03-141-0/+52
* Fix #11334.Richard Eisenberg2016-03-141-1/+3
* Fix #11407.Richard Eisenberg2016-03-143-12/+27
* Use tyConArity rather than (length tvs)Simon Peyton Jones2016-03-021-4/+3
* Fix an outright bug in expandTypeSynonymsSimon Peyton Jones2016-03-021-5/+17
* cmpTypeX: Avoid kind comparison when possibleBen Gamari2016-02-251-25/+60
* TyCoRep: Add haddock sectionsBen Gamari2016-02-251-5/+5
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-245-219/+340
* Improve piResultTys and friendsSimon Peyton Jones2016-02-182-70/+88
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-185-66/+66
* Fix #11313.Richard Eisenberg2016-02-172-3/+21
* Fix #11246.Richard Eisenberg2016-02-171-3/+7
* Use CoercionN and friends in TyCoRepRichard Eisenberg2016-02-172-20/+21
View Lorry Controller Status