summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Remove dll-split.Tamar Christina2017-08-294-191/+17
* desugar: Ensure that a module's dep_orphs doesn't contain itselfBen Gamari2017-08-291-2/+6
* Add HasDebugStack for typeKindSimon Peyton Jones2017-08-291-1/+1
* Small refactor of getRuntimeRepSimon Peyton Jones2017-08-2912-61/+55
* Improve kind-application-error messageSimon Peyton Jones2017-08-291-10/+15
* Use a well-kinded substitution to instantiateSimon Peyton Jones2017-08-292-3/+34
* Small refactoring of meta-tyvar cloningSimon Peyton Jones2017-08-292-29/+36
* Refactor bindHsQTyVars and friendsSimon Peyton Jones2017-08-292-298/+228
* Add TcRnMonad.unlessXOptMSimon Peyton Jones2017-08-291-1/+6
* A bit more -ddump-tc tracingSimon Peyton Jones2017-08-292-8/+19
* Better debug-printing for Outputable TyConBinderSimon Peyton Jones2017-08-291-4/+5
* Comments onlySimon Peyton Jones2017-08-293-22/+51
* Make parsed AST dump output lazilyDavid Feuer2017-08-283-85/+83
* Rip out mkUserGuidePartBen Gamari2017-08-251-12/+4
* Comments, plus adjust debug print of TcTyThing(ATyVar)Simon Peyton Jones2017-08-253-6/+4
* Don't do the RhsCtxt thing for join pointsSimon Peyton Jones2017-08-251-4/+20
* Refactor the Mighty SimplifierSimon Peyton Jones2017-08-256-1160/+1156
* Bottoming expressions should not be expandableSimon Peyton Jones2017-08-252-32/+56
* Restrict exprOkForSpeculation/case to unlifted typesSimon Peyton Jones2017-08-252-47/+88
* Remove typeKind from Type.hs-bootSimon Peyton Jones2017-08-244-19/+17
* Fix defer-out-of-scope-variablesSimon Peyton Jones2017-08-241-17/+34
* Better pretty-printing for CHoleCanSimon Peyton Jones2017-08-242-2/+7
* Typo fixedGabor Greif2017-08-241-1/+1
* Add support for producing position-independent executablesBen Gamari2017-08-2210-51/+70
* DynFlags: Add inverse of -dno-debug-outputBen Gamari2017-08-221-0/+2
* StgLint: Allow join point bindings of unlifted typeBen Gamari2017-08-221-2/+2
* Fix incorrect retypecheck loop in -j (#14075)Edward Z. Yang2017-08-221-2/+48
* Revise function arity mismatch errors involving TypeApplicationsRyan Scott2017-08-223-7/+38
* Fix #13885 by freshening reified GADT constructors' universal tyvarsRyan Scott2017-08-221-19/+58
* Fix #14114 by checking for duplicate vars on pattern synonym RHSesRyan Scott2017-08-221-7/+8
* Fix #14125 by normalizing data family instances more aggressivelyRyan Scott2017-08-221-7/+7
* users_guide: Convert mkUserGuidePart generation to a Sphinx extensionPatrick Dougherty2017-08-181-0/+1
* Comments onlySimon Peyton Jones2017-08-181-1/+2
* Tracing in OccAnal (commented out)Simon Peyton Jones2017-08-181-3/+4
* Restrict Lint's complaints about recursive INLINEs somewhatSimon Peyton Jones2017-08-181-0/+1
* Comments about GlobalRdrEnv shadowingSimon Peyton Jones2017-08-181-7/+36
* CSE.cseOneExpr: Set InScopeSet correctlyJoachim Breitner2017-08-181-2/+8
* Handle ListPat in isStrictPatternAlexander Biehl2017-08-171-0/+1
* Fix #11785 by making reifyKind = reifyTypeRyan Scott2017-08-171-27/+3
* Suggest how to fix illegally nested foralls in GADT constructor type signaturesRyan Scott2017-08-171-0/+43
* Fix #13972 by producing tidier errorsRyan Scott2017-08-171-3/+12
* Allow TcDerivInfer to compile with GHC 8.0.1Ben Gamari2017-08-161-21/+21
* Speed up compilation of profiling stubsBen Gamari2017-08-161-15/+31
* Recognize FreeBSD compiler as Clang.Gleb Popov2017-08-141-0/+3
* Use a ReaderT in TcDeriv to avoid some tedious plumbingRyan Scott2017-08-143-586/+693
* Don't drop GHCi-defined functions with -fobject-code enabledRyan Scott2017-08-141-4/+15
* Fix #14060 by more conservatively annotating TH-reified typesRyan Scott2017-08-148-34/+132
* Expand type synonyms during role inferenceRyan Scott2017-08-123-0/+8
* Change isClosedAlgType to be TYPE-aware, and rename it to pmIsClosedTypeRyan Scott2017-08-123-138/+150
* Use NonEmpty lists to represent lists of duplicate elementsRyan Scott2017-08-1213-55/+73
View Lorry Controller Status