summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Debugwip/rae-kind-gadtsBen Gamari2017-09-182-3/+5
* DebugBen Gamari2017-09-181-1/+2
* Fix #13391 by checking for kind-GADTsRichard Eisenberg2017-09-1810-9/+58
* testsuite: Fix MonadFail test output for new ST instanceBen Gamari2017-09-172-26/+0
* base: Fix missing import of Control.Monad.FailBen Gamari2017-09-171-0/+1
* Fix pointer tagging mistakeDavid Feuer2017-09-171-1/+3
* base: Add missing MonadFail instance for strict STBen Gamari2017-09-162-0/+6
* base: Enable TypeInType in Data.Type.EqualityBen Gamari2017-09-161-0/+1
* Remove dead function TcUnify.wrapFunResCoercionArnaud Spiwack2017-09-151-17/+0
* Renamer now preserves location for IEThingWith list itemsAlan Zimmerman2017-09-154-18/+161
* base: Fix mixed tabs/spaces indentation in inputReady.cNiklas Hambüchen2017-09-151-81/+80
* Fix #14228 by marking SumPats as non-irrefutableRyan Scott2017-09-154-2/+52
* Fix missing fields warnings in empty record construction, fix #13870HE, Tao2017-09-154-7/+39
* Ignore untracked in text, parsec and mtl submodules [skip ci]Tamar Christina2017-09-151-16/+16
* Fix name of noteBen Gamari2017-09-151-1/+1
* Bump submodule nofib (Semigroup now required)Joachim Breitner2017-09-141-0/+0
* Fix #13963.Richard Eisenberg2017-09-146-10/+73
* Test #13938, with expect_brokenRichard Eisenberg2017-09-142-0/+81
* Fix #13929 by adding another levity polymorphism checkRichard Eisenberg2017-09-144-5/+49
* Make rejigConRes do kind substitutionsRichard Eisenberg2017-09-142-0/+148
* Fix #13909 by tweaking an error message.Richard Eisenberg2017-09-144-1/+24
* testsuite: Fix dependence on grep behavior in T8129Ben Gamari2017-09-141-1/+1
* Bump primitive submoduleBen Gamari2017-09-141-0/+0
* nativeGen: A few strictness fixesBen Gamari2017-09-142-5/+6
* Fix #13407 by suppressing invisibles better.Richard Eisenberg2017-09-144-3/+11
* Test #12938 in indexed-types/should_compile/T12938Richard Eisenberg2017-09-142-0/+9
* Regression test for #12742Richard Eisenberg2017-09-142-0/+12
* Test #14038 in dependent/should_compile/T14038Richard Eisenberg2017-09-142-0/+76
* Add test for Trac #14232Simon Peyton Jones2017-09-143-0/+9
* [RTS] Make -po workBartosz Nitka2017-09-141-2/+11
* Remove unused variable bindingSimon Peyton Jones2017-09-141-1/+1
* Interim fix for a nasty type-matching bugSimon Peyton Jones2017-09-141-10/+58
* Refactor tcInferAppsSimon Peyton Jones2017-09-142-29/+32
* Refactor to eliminate FamTyConShapeSimon Peyton Jones2017-09-146-105/+78
* Tidying could cause ill-kinded typesSimon Peyton Jones2017-09-1410-81/+127
* Fix subtle bug in TcTyClsDecls.mkGADTVarsSimon Peyton Jones2017-09-143-30/+94
* More refinements to debugPprTypeSimon Peyton Jones2017-09-141-12/+9
* No need to check ambiguity for visible type argsSimon Peyton Jones2017-09-141-0/+5
* Model divergence of retry# as ThrowsExn, not DivergesBen Gamari2017-09-133-2/+6
* rts: Add regsterCc(s)List to RTS symbols listBen Gamari2017-09-131-0/+2
* Clarify seq documentationSibi Prabakaran2017-09-131-2/+3
* Simplify Data.Type.Equality.==David Feuer2017-09-136-184/+62
* Better document TypeRep patternsBen Gamari2017-09-131-1/+27
* Option "-ddump-rn-ast" dumps imports and exports tooAlan Zimmerman2017-09-134-339/+377
* Add non-ASCII isLetter True exampleChris Martin2017-09-131-0/+2
* Fix @since annotations in GHC.StatsDmitry Ivanov2017-09-131-3/+3
* Make IntPtr and WordPtr as instance of Data.Data typeclass, fix #13115HE, Tao2017-09-134-3/+13
* [RTS] Harden against buffer overflowBartosz Nitka2017-09-132-2/+2
* Use ar for -staticlibMoritz Angermann2017-09-139-22/+399
* Clarify Data.Data documentationDavid Feuer2017-09-131-6/+18