summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
...
* Comment typos: Mkae -> Make, Hsakell -> HaskellRyanGlScott2016-04-303-3/+3
* Fix reference to Note in TcCanonicalRyanGlScott2016-04-301-2/+2
* PPC NCG: Improve pointer de-tagging codePeter Trommler2016-04-293-5/+36
* Fix typo: Superclases -> SuperclassesBartosz Nitka2016-04-293-5/+5
* Remove the incredibly hairy splitTelescopeTvs.Richard Eisenberg2016-04-295-364/+228
* Remove unused foldNameEnvBartosz Nitka2016-04-281-3/+1
* Remove unused foldFsEnvBartosz Nitka2016-04-281-3/+1
* Kill mapUniqSetBartosz Nitka2016-04-283-12/+15
* Add uniqSetAny and uniqSetAll and use themBartosz Nitka2016-04-289-9/+36
* Kill unused foldOccSetBartosz Nitka2016-04-281-3/+1
* Fix debug-only check in CoreLintSimon Peyton Jones2016-04-281-7/+9
* Refactor RecordPatSynField, FieldLabelSimon Peyton Jones2016-04-287-38/+51
* Add missing solveEqualitiesSimon Peyton Jones2016-04-281-10/+5
* Remove unused unifyType_Simon Peyton Jones2016-04-281-7/+1
* Comments onlySimon Peyton Jones2016-04-281-0/+2
* Minor improvement to error messageSimon Peyton Jones2016-04-281-8/+5
* Comments onlySimon Peyton Jones2016-04-281-3/+3
* Kill varSetElems in injImproveEqnsBartosz Nitka2016-04-281-5/+10
* Expand the comment on pprVarSetBartosz Nitka2016-04-281-0/+5
* Implement the state hack without modifiyng OneShotInfoJoachim Breitner2016-04-272-17/+17
* Kill varSetElems in markNominalBartosz Nitka2016-04-262-11/+12
* Kill varSetElems try_tyvar_defaultingBartosz Nitka2016-04-264-13/+40
* Kill varSetElems in TcErrorsBartosz Nitka2016-04-261-7/+7
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-2610-45/+139
* Get rid of varSetElemsWellScoped in abstractFloatsBartosz Nitka2016-04-224-7/+19
* Make benign non-determinism in pretty-printing more obviousBartosz Nitka2016-04-224-7/+44
* Remove unused tyCoVarsOfTelescopeBartosz Nitka2016-04-222-9/+0
* Typo: veraibles -> variablesBartosz Nitka2016-04-221-1/+1
* Fix typos: alpah -> alphaBartosz Nitka2016-04-222-2/+2
* Refactor free tyvars on LHS of rulesSimon Peyton Jones2016-04-222-112/+119
* Simplify defaultKindVar and friendsSimon Peyton Jones2016-04-223-68/+81
* Avoid double error on out-of-scope identifierSimon Peyton Jones2016-04-221-4/+8
* A little more debug tracingSimon Peyton Jones2016-04-222-2/+3
* Warn about simplifiable class constraintsSimon Peyton Jones2016-04-227-41/+99
* Do not use defaulting in ambiguity checkSimon Peyton Jones2016-04-221-1/+13
* Improve the behaviour of warnIfSimon Peyton Jones2016-04-223-18/+19
* 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-2010-205/+208
* Build a correct substitution in dataConInstPatBartosz Nitka2016-04-202-3/+4
* Kill unnecessary varSetElemsWellScoped in deriveTyDataBartosz Nitka2016-04-201-3/+6
* Tighten up imports on TcTyClsDeclsSimon Peyton Jones2016-04-201-3/+3
* Fix two buglets in 17eb241 noticed by RichardSimon Peyton Jones2016-04-202-20/+16
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-2013-551/+855
* Tighten up imports, white spaceSimon Peyton Jones2016-04-203-5/+9
* Define NameSet.intersectFVsSimon Peyton Jones2016-04-201-0/+3
* Reduce use of instances in hs-boot filesSimon Peyton Jones2016-04-2014-60/+36
* Kill dead TauTvFlavour, and move code aroundSimon Peyton Jones2016-04-191-96/+104
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-196-145/+195
* Refactor computing dependent type varsSimon Peyton Jones2016-04-196-112/+163