summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcRnMonad.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix handling of closed type families in Backpack.Edward Z. Yang2017-01-111-0/+5
* Allow use of the external interpreter in stage1.Shea Levy2016-12-201-16/+0
* Revert "Allow use of the external interpreter in stage1."Tamar Christina2016-12-191-0/+16
* Check family instance consistency of hs-boot families later, fixes #11062.Edward Z. Yang2016-12-171-0/+1
* Allow use of the external interpreter in stage1.Shea Levy2016-12-171-16/+0
* Have reify work for local variables with functional dependencies.Facundo Domínguez2016-11-171-1/+13
* Stop -dno-debug-output suppressing -ddump-tc-traceMatthew Pickering2016-11-061-7/+7
* Typos in commentsGabor Greif2016-10-311-1/+1
* Remove -dtrace-levelMatthew Pickering2016-10-261-4/+2
* Make traceRn behave more like traceTcMatthew Pickering2016-10-261-18/+23
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-211-13/+15
* Add a forward reference for a NoteRyan Scott2016-10-151-1/+1
* Fix Show derivation in the presence of RebindableSyntax/OverloadedStringsRyan Scott2016-10-151-1/+5
* Further improve error handling in TcRn monadSimon Peyton Jones2016-10-131-23/+42
* Rework renaming of children in export lists.Matthew Pickering2016-10-081-9/+14
* The Backpack patch.Edward Z. Yang2016-10-081-8/+45
* Improve error handling in TcRnMonadSimon Peyton Jones2016-10-051-23/+37
* Introduce BootUnfolding, set when unfolding is absent due to hs-boot file.Edward Z. Yang2016-08-211-5/+7
* Axe initIfaceTc, tie the knot through HPT (or if_rec_types).Edward Z. Yang2016-08-211-19/+13
* Annotate initIfaceCheck with usage information.Edward Z. Yang2016-08-211-3/+3
* Have addModFinalizer expose the local type environment.Facundo Domínguez2016-07-061-0/+17
* Hopefully fix all the rebase-induced breakageSimon Marlow2016-06-221-1/+1
* Fix build breakage due to rebaseSimon Marlow2016-06-221-1/+1
* Second attempt to fix sizeExprSimon Marlow2016-06-221-9/+118
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-14/+27
* Improve failed knot-tying error message.Edward Z. Yang2016-06-021-1/+6
* Kill varEnvElts in tcPragExprBartosz Nitka2016-05-181-3/+2
* Kill varSetElems in tidyFreeTyCoVarsBartosz Nitka2016-05-181-1/+1
* Documentation for simplifyDeriv.Edward Z. Yang2016-05-091-0/+1
* Improve the behaviour of warnIfSimon Peyton Jones2016-04-221-5/+10
* Fix suggestions for unbound variables (#11680)Jason Eisenberg2016-04-101-2/+22
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-30/+48
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-2/+2
* Remove `replaceDynFlags` from `ContainsDynFlags`Thomas Miedema2016-01-241-11/+13
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-4/+4
* Support for qRecover in TH with -fexternal-interpreterSimon Marlow2016-01-081-5/+4
* Visible type applicationRichard Eisenberg2015-12-241-1/+13
* Remote GHCi, -fexternal-interpreterSimon Marlow2015-12-171-0/+2
* Expose enabled language extensions to THBen Gamari2015-12-151-3/+5
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-12/+48
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-11/+19
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-2/+8
* Revert "Unify hsig and hs-boot; add preliminary "hs-boot" merging."Edward Z. Yang2015-11-161-1/+1
* Generate Typeable info at definition sitesBen Gamari2015-10-301-1/+1
* Record usage information using GlobalRdrEltSimon Peyton Jones2015-10-301-5/+2
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-1/+1
* Generate Typeable info at definition sitesBen Gamari2015-10-291-1/+1
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-1/+3
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-1/+1
* Unify hsig and hs-boot; add preliminary "hs-boot" merging.Edward Z. Yang2015-09-211-1/+1
View Lorry Controller Status