summaryrefslogtreecommitdiff
path: root/compiler/iface/TcIface.hs
Commit message (Expand)AuthorAgeFilesLines
...
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-1/+1
* Typos in commentsGabor Greif2016-11-291-1/+1
* Improve pretty-printing of typesSimon Peyton Jones2016-11-251-0/+1
* Kill Type pretty-printerBen Gamari2016-11-131-8/+10
* Refactor occurrence-check logicSimon Peyton Jones2016-10-211-1/+1
* Support constraint synonym implementations of abstract classes.Edward Z. Yang2016-10-201-0/+1
* Improve find_lbl panic messageBen Gamari2016-10-131-1/+4
* Clean up handling of known-key Names in interface filesBen Gamari2016-10-131-37/+29
* Distinguish between UnitId and InstalledUnitId.Edward Z. Yang2016-10-081-1/+1
* The Backpack patch.Edward Z. Yang2016-10-081-2/+168
* Extra comments, as per SPJ in #12035.Edward Z. Yang2016-08-221-0/+4
* Introduce BootUnfolding, set when unfolding is absent due to hs-boot file.Edward Z. Yang2016-08-211-9/+11
* Axe initIfaceTc, tie the knot through HPT (or if_rec_types).Edward Z. Yang2016-08-211-20/+48
* Remove `setUnfoldingInfoLazily`Matthew Pickering2016-08-031-1/+1
* Compute boot-defined TyCon names from ModIface.Edward Z. Yang2016-07-261-8/+23
* InstEnv: Ensure that instance visibility check is lazyBen Gamari2016-07-201-4/+4
* Use DVarEnv for vectInfoVarBartosz Nitka2016-07-051-1/+1
* Check generic-default method for ambiguitySimon Peyton Jones2016-07-051-2/+2
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-4/+4
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-251-2/+2
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-35/+36
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-16/+17
* Fix #12064 by making IfaceClass typechecking more lazy.Edward Z. Yang2016-06-081-9/+12
* Make vectInfoParallelVars a DVarSetBartosz Nitka2016-06-071-1/+1
* Use UniqDFM for HomePackageTableBartosz Nitka2016-06-061-1/+1
* Improve failed knot-tying error message.Edward Z. Yang2016-06-021-4/+20
* Kill varEnvElts in tcPragExprBartosz Nitka2016-05-181-4/+9
* Don't prematurely force TyThing thunks with -ddump-if-trace.Edward Z. Yang2016-05-111-1/+4
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-21/+22
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-37/+59
* Rename "open" subst functionsBartosz Nitka2016-01-271-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-24/+24
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-3/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-187/+159
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-4/+14
* Support multiple debug output levelsBen Gamari2015-11-231-2/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-301-40/+49
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-49/+40
* Generate Typeable info at definition sitesBen Gamari2015-10-291-40/+49
* Record pattern synonymsMatthew Pickering2015-10-291-3/+9
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-7/+16
* Refactor BranchLists.Richard Eisenberg2015-09-211-1/+1
* Perform a validity check on assoc type defaults.Richard Eisenberg2015-09-211-1/+1
* Remove redundant language extensionsJan Stolarek2015-09-121-1/+1
* Injective type familiesJan Stolarek2015-09-031-4/+7
* Replace HsBang type with HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-08-101-11/+19
* Improve warnings for rules that might not fireSimon Peyton Jones2015-07-271-2/+3
* Implementation of StrictData language extensionAdam Sandberg Eriksson2015-07-271-4/+4
* Use lookupIfaceTop for loading IfaceDecls.Edward Z. Yang2015-07-221-2/+2
* Refactor self-boot infoSimon Peyton Jones2015-07-211-9/+19
View Lorry Controller Status