summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Use the in_scope set in lint_appBartosz Nitka2016-01-281-7/+10
* fix validate breakageSimon Marlow2016-01-271-2/+0
* Remote GHCi: create cost centre stacks in batchesSimon Marlow2016-01-272-21/+12
* Rename "open" subst functionsBartosz Nitka2016-01-2718-72/+64
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-2751-1338/+2168
* Fix some substitution InScopeSetsRichard Eisenberg2016-01-275-4/+9
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-2735-95/+95
* Test for undef bugs in the LLVM backend when validatingReid Barton2016-01-272-1/+27
* Restore original alignment for info tablesSimon Brenner2016-01-273-4/+24
* ghci: fix trac issue #11481Benjamin Bykowski2016-01-271-1/+1
* Typos in commentsGabor Greif2016-01-273-3/+3
* Fix a typo in the note name in commentsBartosz Nitka2016-01-273-9/+8
* Enable RemoteGHCi on WindowsTamar Christina2016-01-272-29/+39
* Construct in_scope set in mkTopTCvSubstBartosz Nitka2016-01-268-16/+23
* Split off -Wunused-type-variables from -Wunused-matchesRyanGlScott2016-01-265-14/+21
* Pass InScopeSet to substTy in lintTyAppBartosz Nitka2016-01-262-8/+25
* Fix two cloning-related bugsSimon Peyton Jones2016-01-262-41/+64
* Kill off zipTopTCvSubst in favour of zipOpenTCvSubstSimon Peyton Jones2016-01-267-32/+25
* White space onlySimon Peyton Jones2016-01-261-2/+2
* Less verbose output for the in-scope setSimon Peyton Jones2016-01-261-1/+4
* Implement -Wunrecognised-warning-flagBen Gamari2016-01-251-4/+18
* Rename -Wmissing-monadfail-instance to plural-formHerbert Valerio Riedel2016-01-252-5/+5
* HscTypes: Fix typo in commentBen Gamari2016-01-251-1/+1
* Fix exprIsHNF (Trac #11248)Simon Peyton Jones2016-01-251-14/+17
* Improve tracing in checkValidInstanceSimon Peyton Jones2016-01-251-1/+5
* Avoid recursive use of immSuperClassesSimon Peyton Jones2016-01-252-10/+9
* Refactor validity checking for type/data instancesSimon Peyton Jones2016-01-253-69/+94
* Special-case implicit params in superclass expansionSimon Peyton Jones2016-01-254-32/+81
* 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
View Lorry Controller Status