summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* Simon's major commit to re-engineer the constraint solverSimon Peyton Jones2014-11-0413-2218/+2842
* Compiler performance is much worse in for loopy givensSimon Peyton Jones2014-11-042-6/+38
* Make this test a bit simplerSimon Peyton Jones2014-11-042-11/+2
* Add flattening-notesSimon Peyton Jones2014-11-041-0/+49
* Testsuite error message changesSimon Peyton Jones2014-11-04121-1063/+1358
* Comments onlySimon Peyton Jones2014-11-041-1/+2
* Fix the superclass-cycle detection code (Trac #9739)Simon Peyton Jones2014-11-044-27/+34
* Test Trac #9739Simon Peyton Jones2014-11-043-0/+17
* Add comments explaining ProbOneShotSimon Peyton Jones2014-11-044-44/+79
* Test Trac #9747Simon Peyton Jones2014-11-042-0/+40
* Improve error message for a handwritten Typeable instanceSimon Peyton Jones2014-11-045-18/+35
* Test Trac #9708Simon Peyton Jones2014-11-043-0/+28
* Test Trac #9211Simon Peyton Jones2014-11-042-0/+11
* Define ctEvLoc and ctEvCoercion, and use themSimon Peyton Jones2014-11-042-5/+15
* Minor refactoring (no change in functionality)Simon Peyton Jones2014-11-041-3/+3
* Don't filter out allegedly-irrelevant bindings with -dppr-debugSimon Peyton Jones2014-11-041-1/+3
* Only report "could not deduce s~t from ..." for givens that include equalitiesSimon Peyton Jones2014-11-041-6/+8
* When reporting the context of given constraints, stop when you find oneSimon Peyton Jones2014-11-041-6/+17
* Typechecker debug tracing onlySimon Peyton Jones2014-11-044-32/+39
* Normalise the type of an inferred let-bindingSimon Peyton Jones2014-11-042-12/+21
* Get the Untouchables level right in simplifyInferSimon Peyton Jones2014-11-045-126/+179
* Refactor the treatment of lexically-scoped type variables for instance declar...Simon Peyton Jones2014-11-044-21/+28
* Refactor skolemising, and newClsInstSimon Peyton Jones2014-11-045-103/+117
* Rename setRole_maybe to downgradeRole_maybeSimon Peyton Jones2014-11-041-18/+18
* Simplify the API for tcInstTyVars, and make it more consistent with other sim...Simon Peyton Jones2014-11-045-31/+33
* Fix reduceTyFamApp_maybeSimon Peyton Jones2014-11-041-12/+34
* White space onlySimon Peyton Jones2014-11-045-52/+60
* Add the unfolding and inline-pragma for DFuns in DsBinds, not TcInstDclsSimon Peyton Jones2014-11-042-23/+28
* Simplify the generation of superclass constraints in tcInstDecl2Simon Peyton Jones2014-11-041-9/+10
* Some refactoring around endPass and debug dumpingSimon Peyton Jones2014-11-0413-117/+157
* Improve pretty-printing of type variablesSimon Peyton Jones2014-11-041-10/+10
* Tidy up pretty-printing of SrcLoc and SrcSpanSimon Peyton Jones2014-11-041-46/+55
* Fix lost Haddock annotation for `class Monad m`Herbert Valerio Riedel2014-11-041-7/+6
* Refactor Haddock comments in Data.BitsHerbert Valerio Riedel2014-11-041-17/+18
* Minor Haddock markup improvement to Data.MonoidHerbert Valerio Riedel2014-11-041-7/+7
* Add `Alternative` wrapper to Data.MonoidDavid Feuer2014-11-042-29/+33
* Further relax T1969’s max_bytes rangeJoachim Breitner2014-11-041-2/+3
* Make Foldable's foldr1 and foldl1 defaults lazierDavid Feuer2014-11-041-4/+6
* Link to oneShot from the User's GuideJoachim Breitner2014-11-031-0/+4
* Update expected profiling output for scc001Joachim Breitner2014-11-031-18/+23
* Use oneShot in the definition of foldl etc.Joachim Breitner2014-11-022-13/+30
* Add GHC.Prim.oneShotJoachim Breitner2014-11-0211-7/+133
* Put one-Shot info in the interfaceJoachim Breitner2014-11-025-19/+69
* Tweak the error message for pattern synonym methods,Dr. ERDI Gergo2014-11-027-6/+17
* Update release notes for #9262 #8953 #9084.Richard Eisenberg2014-11-021-0/+28
* Fix #9738, by handling {-# ANN ... #-} in DsMeta.Richard Eisenberg2014-11-012-20/+67
* Test #9738 in th/T9738Richard Eisenberg2014-11-013-0/+18
* Fix testsuite output from #9084.Richard Eisenberg2014-11-012-1/+4
* Fix #9084 by calling notHandled when unknown bits are enountered.Richard Eisenberg2014-11-011-19/+60
* Test #9084 in th/T9084.Richard Eisenberg2014-11-013-0/+13