summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Fix floating of equalitiesSimon Peyton Jones2017-12-213-106/+214
* Refactor coercion holesSimon Peyton Jones2017-12-2125-208/+234
* Check for bogus quantified tyvars in partial type sigsSimon Peyton Jones2017-12-212-47/+76
* Simplify HsPatSynDetailsSimon Peyton Jones2017-12-2110-87/+52
* Improve treatment of sectioned holesRyan Scott2017-12-202-3/+11
* Remove hack put in place for #12512Ryan Scott2017-12-201-11/+1
* Fix #14588 by checking for more bang patternsRyan Scott2017-12-202-8/+14
* Fix #14578 by checking isCompoundHsType in more placesRyan Scott2017-12-202-6/+14
* Rmove a call to mkStatePrimTySimon Peyton Jones2017-12-191-3/+3
* Stop runRW# being magicSimon Peyton Jones2017-12-193-66/+48
* Get rid of some stuttering in comments and docsGabor Greif2017-12-1939-47/+47
* Typos in commentsGabor Greif2017-12-183-3/+3
* Fix scoping of pattern-synonym existentialsSimon Peyton Jones2017-12-185-48/+109
* Tiny refactor: use mkTyVarNamePairsSimon Peyton Jones2017-12-181-1/+1
* Add missing case to HsExpr.isMonadFailStmtContextSimon Peyton Jones2017-12-181-13/+10
* Add some commentary re: fix to #11203Richard Eisenberg2017-12-151-0/+7
* Fix tcDataKindSigSimon Peyton Jones2017-12-154-83/+101
* Fix #14135 by validity checking matchesCarlos Tomé2017-12-141-9/+17
* typos in local varGabor Greif2017-12-141-1/+1
* Better tc-trace messagesSimon Peyton Jones2017-12-142-11/+13
* Fix an outright bug in the unflattenerSimon Peyton Jones2017-12-141-21/+24
* Typofix in commentGabor Greif2017-12-131-1/+1
* Further improvements to well-kinded typesSimon Peyton Jones2017-12-133-102/+134
* Tidy up of wired-in namesSimon Peyton Jones2017-12-132-76/+67
* Detect levity-polymorphic uses of unsafeCoerce#Simon Peyton Jones2017-12-132-4/+25
* Minor refactor of TcExpr.tcAppSimon Peyton Jones2017-12-131-54/+70
* Allow users to ignore optimization changesDavid Feuer2017-12-115-19/+183
* Fix SigTvs at the kind levelSimon Peyton Jones2017-12-117-103/+179
* Build only well-kinded types in type checkerSimon Peyton Jones2017-12-111-6/+34
* Improved panic message for zonkTcTyVarToTyVarSimon Peyton Jones2017-12-111-2/+6
* Occurrrence analysis improvements for NOINLINE functionsSimon Peyton Jones2017-12-085-36/+47
* Improve LiberateCaseSimon Peyton Jones2017-12-081-36/+54
* Refactor kcHsTyVarBndrsSimon Peyton Jones2017-12-082-71/+83
* Refactor ConDecl: Trac #14529Simon Peyton Jones2017-12-0713-440/+478
* template-haskell: Rip out FamFlavourBen Gamari2017-12-041-12/+0
* Cache TypeRep kinds aggressivelyDavid Feuer2017-12-013-22/+36
* Add trace injectionDavid Feuer2017-12-012-3/+43
* Handle CPP properly in BackpackEdward Z. Yang2017-11-301-2/+8
* Make use of boot TyThings during typechecking.Edward Z. Yang2017-11-307-216/+63
* Comments only: Trac #14511Simon Peyton Jones2017-11-291-0/+10
* CLabel: A bit of documentationBen Gamari2017-11-281-3/+25
* Cmm: Add missing cases for BlockInfoTableBen Gamari2017-11-281-0/+2
* CLabel: More specific debug output from CLabelBen Gamari2017-11-281-2/+3
* nativeGen: Use foldl' instead of foldlBen Gamari2017-11-281-1/+1
* nativeGen: Use plusUFMList instead of foldrBen Gamari2017-11-281-2/+2
* CLabel: Refactor pprDynamicLinkerAsmLabelBen Gamari2017-11-281-49/+59
* cmm: Use LocalBlockLabel instead of AsmTempLabel to represent blocksBen Gamari2017-11-288-25/+60
* CLabel.labelType: Make catch-all case explicitBen Gamari2017-11-281-3/+14
* typecheck: Consistently use pretty quotes in error messagesBen Gamari2017-11-271-6/+9
* Check quantification for partial type signatuesSimon Peyton Jones2017-11-272-49/+92
View Lorry Controller Status