Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Comment typos: Mkae -> Make, Hsakell -> Haskell | RyanGlScott | 2016-04-30 | 3 | -3/+3 | |
* | Fix reference to Note in TcCanonical | RyanGlScott | 2016-04-30 | 1 | -2/+2 | |
* | PPC NCG: Improve pointer de-tagging code | Peter Trommler | 2016-04-29 | 3 | -5/+36 | |
* | Fix typo: Superclases -> Superclasses | Bartosz Nitka | 2016-04-29 | 3 | -5/+5 | |
* | Remove the incredibly hairy splitTelescopeTvs. | Richard Eisenberg | 2016-04-29 | 5 | -364/+228 | |
* | Remove unused foldNameEnv | Bartosz Nitka | 2016-04-28 | 1 | -3/+1 | |
* | Remove unused foldFsEnv | Bartosz Nitka | 2016-04-28 | 1 | -3/+1 | |
* | Kill mapUniqSet | Bartosz Nitka | 2016-04-28 | 3 | -12/+15 | |
* | Add uniqSetAny and uniqSetAll and use them | Bartosz Nitka | 2016-04-28 | 9 | -9/+36 | |
* | Kill unused foldOccSet | Bartosz Nitka | 2016-04-28 | 1 | -3/+1 | |
* | Fix debug-only check in CoreLint | Simon Peyton Jones | 2016-04-28 | 1 | -7/+9 | |
* | Refactor RecordPatSynField, FieldLabel | Simon Peyton Jones | 2016-04-28 | 7 | -38/+51 | |
* | Add missing solveEqualities | Simon Peyton Jones | 2016-04-28 | 1 | -10/+5 | |
* | Remove unused unifyType_ | Simon Peyton Jones | 2016-04-28 | 1 | -7/+1 | |
* | Comments only | Simon Peyton Jones | 2016-04-28 | 1 | -0/+2 | |
* | Minor improvement to error message | Simon Peyton Jones | 2016-04-28 | 1 | -8/+5 | |
* | Comments only | Simon Peyton Jones | 2016-04-28 | 1 | -3/+3 | |
* | Kill varSetElems in injImproveEqns | Bartosz Nitka | 2016-04-28 | 1 | -5/+10 | |
* | Expand the comment on pprVarSet | Bartosz Nitka | 2016-04-28 | 1 | -0/+5 | |
* | Implement the state hack without modifiyng OneShotInfo | Joachim Breitner | 2016-04-27 | 2 | -17/+17 | |
* | Kill varSetElems in markNominal | Bartosz Nitka | 2016-04-26 | 2 | -11/+12 | |
* | Kill varSetElems try_tyvar_defaulting | Bartosz Nitka | 2016-04-26 | 4 | -13/+40 | |
* | Kill varSetElems in TcErrors | Bartosz Nitka | 2016-04-26 | 1 | -7/+7 | |
* | Kill varSetElemsWellScoped in quantifyTyVars | Bartosz Nitka | 2016-04-26 | 10 | -45/+139 | |
* | Get rid of varSetElemsWellScoped in abstractFloats | Bartosz Nitka | 2016-04-22 | 4 | -7/+19 | |
* | Make benign non-determinism in pretty-printing more obvious | Bartosz Nitka | 2016-04-22 | 4 | -7/+44 | |
* | Remove unused tyCoVarsOfTelescope | Bartosz Nitka | 2016-04-22 | 2 | -9/+0 | |
* | Typo: veraibles -> variables | Bartosz Nitka | 2016-04-22 | 1 | -1/+1 | |
* | Fix typos: alpah -> alpha | Bartosz Nitka | 2016-04-22 | 2 | -2/+2 | |
* | Refactor free tyvars on LHS of rules | Simon Peyton Jones | 2016-04-22 | 2 | -112/+119 | |
* | Simplify defaultKindVar and friends | Simon Peyton Jones | 2016-04-22 | 3 | -68/+81 | |
* | Avoid double error on out-of-scope identifier | Simon Peyton Jones | 2016-04-22 | 1 | -4/+8 | |
* | A little more debug tracing | Simon Peyton Jones | 2016-04-22 | 2 | -2/+3 | |
* | Warn about simplifiable class constraints | Simon Peyton Jones | 2016-04-22 | 7 | -41/+99 | |
* | Do not use defaulting in ambiguity check | Simon Peyton Jones | 2016-04-22 | 1 | -1/+13 | |
* | Improve the behaviour of warnIf | Simon Peyton Jones | 2016-04-22 | 3 | -18/+19 | |
* | Remove mysterious varSetElemsWellScoped in tidyFreeTyCoVars | Bartosz Nitka | 2016-04-21 | 1 | -2/+2 | |
* | Point to note about FV eta-expansion performance | Bartosz Nitka | 2016-04-20 | 1 | -0/+1 | |
* | Rename FV related functions | Bartosz Nitka | 2016-04-20 | 10 | -205/+208 | |
* | Build a correct substitution in dataConInstPat | Bartosz Nitka | 2016-04-20 | 2 | -3/+4 | |
* | Kill unnecessary varSetElemsWellScoped in deriveTyData | Bartosz Nitka | 2016-04-20 | 1 | -3/+6 | |
* | Tighten up imports on TcTyClsDecls | Simon Peyton Jones | 2016-04-20 | 1 | -3/+3 | |
* | Fix two buglets in 17eb241 noticed by Richard | Simon Peyton Jones | 2016-04-20 | 2 | -20/+16 | |
* | SCC analysis for instances as well as types/classes | Simon Peyton Jones | 2016-04-20 | 13 | -551/+855 | |
* | Tighten up imports, white space | Simon Peyton Jones | 2016-04-20 | 3 | -5/+9 | |
* | Define NameSet.intersectFVs | Simon Peyton Jones | 2016-04-20 | 1 | -0/+3 | |
* | Reduce use of instances in hs-boot files | Simon Peyton Jones | 2016-04-20 | 14 | -60/+36 | |
* | Kill dead TauTvFlavour, and move code around | Simon Peyton Jones | 2016-04-19 | 1 | -96/+104 | |
* | Tighten checking for associated type instances | Simon Peyton Jones | 2016-04-19 | 6 | -145/+195 | |
* | Refactor computing dependent type vars | Simon Peyton Jones | 2016-04-19 | 6 | -112/+163 |