summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Implement `-Wnoncanonical-monadfail-instances` warningHerbert Valerio Riedel2016-01-242-0/+41
* Remove `replaceDynFlags` from `ContainsDynFlags`Thomas Miedema2016-01-245-19/+14
* Don't add ticks around type applications (#11329)Reid Barton2016-01-231-4/+10
* Remove -Wredundant-superclasses from standard warningsBen Gamari2016-01-231-1/+0
* Give a more verbose error message when desugaring a HsTypeOutReid Barton2016-01-231-1/+5
* Do not count void arguments when considering a function for loopification.Jonas Scholl2016-01-222-17/+46
* Default non-canonical CallStack constraintsEric Seidel2016-01-223-9/+10
* Improve comments in CmmSwitchJoachim Breitner2016-01-211-17/+22
* TyCoRep: Restore compatibility with 7.10.1Ben Gamari2016-01-211-1/+9
* Allow implicit parameters in constraint synonymsSimon Peyton Jones2016-01-211-5/+27
* Strip casts in checkValidInstHeadSimon Peyton Jones2016-01-212-37/+59
* Remove the check_lifted check in TcValiditySimon Peyton Jones2016-01-211-3/+14
* Improve pretty-printing of UnivCoSimon Peyton Jones2016-01-211-4/+10
* Comments onlySimon Peyton Jones2016-01-211-2/+2
* Re-add missing kind generalisationSimon Peyton Jones2016-01-215-28/+31
* Comments onlySimon Peyton Jones2016-01-211-0/+10
* Add comments about tyCoVarsOfTypeSimon Peyton Jones2016-01-211-0/+28
* MkId: Update OpenKind referenceBen Gamari2016-01-211-1/+2
* substTy to substTyUnchecked to fix Travis buildBartosz Nitka2016-01-204-9/+10
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-2010-160/+223
* Use (&&) instead of `if` in Ix derivationBen Gamari2016-01-201-5/+8
* Oops. Add missing close-commentSimon Peyton Jones2016-01-201-0/+2
* Fix combineIdenticalAltsSimon Peyton Jones2016-01-201-17/+48
* Fix IfaceType generation for TyCons without TyVarsÖmer Sinan Ağacan2016-01-191-1/+7
* Re-export ghc-boot:GHC.Serialized as SerializedSimon Marlow2016-01-191-0/+7
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-1920-51/+128
* Typos in commentsGabor Greif2016-01-193-3/+3
* Hide derived OccNames from userBen Gamari2016-01-191-3/+5
* Switch from -this-package-key to -this-unit-id.Edward Z. Yang2016-01-195-44/+49
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-18165-2930/+2887
* Typo in commentSimon Peyton Jones2016-01-181-1/+1
* Implement scoped type variables in pattern synonymsSimon Peyton Jones2016-01-189-51/+96
* Add Trac #11427 to Note [Recursive superclasses]Simon Peyton Jones2016-01-181-1/+1
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-1811-80/+57
* Improve debug printing/warningsSimon Peyton Jones2016-01-183-3/+9
* White space onlySimon Peyton Jones2016-01-181-9/+6
* Fix typecheck of default associated type declsSimon Peyton Jones2016-01-181-20/+47
* Layout onlySimon Peyton Jones2016-01-181-1/+2
* Simplify API to tcMatchTysSimon Peyton Jones2016-01-188-58/+49
* un-wire-in error, undefined, CallStack, and IPEric Seidel2016-01-1813-155/+43
* Fix a number of subtle solver bugsSimon Peyton Jones2016-01-165-189/+257
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-1623-85/+109
* Fix some typosRik Steenkamp2016-01-167-11/+10
* Fix #11405.Richard Eisenberg2016-01-159-15/+141
* Fix typo in error message (#11409)Richard Eisenberg2016-01-151-1/+1
* Tiny refactoring in TcUnifyRichard Eisenberg2016-01-151-9/+6
* Fix #11404Richard Eisenberg2016-01-152-30/+39
* Constrained types have kind * in validity check.Richard Eisenberg2016-01-151-1/+6
* Fix #11254.Richard Eisenberg2016-01-151-51/+62
* Fix #11311Richard Eisenberg2016-01-151-2/+3