summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Get evaluated-ness right in the back endSimon Peyton Jones2018-01-035-70/+129
* Fix OptCoercionSimon Peyton Jones2018-01-031-1/+3
* White space onlySimon Peyton Jones2018-01-031-1/+1
* Small refactoring in CoercionSimon Peyton Jones2018-01-031-16/+13
* Tiny refactor around fillInferResultSimon Peyton Jones2018-01-031-10/+16
* Comments about join point typesSimon Peyton Jones2018-01-032-38/+37
* More informative pretty-printing for phantom coercionsSimon Peyton Jones2018-01-031-2/+15
* Comments onlySimon Peyton Jones2018-01-031-0/+5
* Rename HEq_sc and Coercible_sc to heq_sel and coercible_selMatthew Pickering2018-01-021-2/+2
* Fix #14608 by restoring an unboxed tuple checkRyan Scott2018-01-021-0/+5
* Rewrite Note [The polymorphism rule of join points]Joachim Breitner2018-01-021-19/+50
* Typos in comments [ci skip]Gabor Greif2017-12-283-3/+3
* Fix #14618 by applying a subst in deeplyInstantiateRichard Eisenberg2017-12-261-3/+4
* Compute InScopeSet in substInteractiveContextBartosz Nitka2017-12-261-2/+7
* MkIface: Ensure syntactic compatibility with ghc 8.0.1Ben Gamari2017-12-221-6/+6
* Comments only [skip ci]Richard Eisenberg2017-12-212-2/+3
* Typos in commentsGabor Greif2017-12-213-4/+4
* 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