summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* Kill Type pretty-printerBen Gamari2016-11-137-497/+1032
* Typos in commentsGabor Greif2016-10-311-1/+1
* Refine ASSERT in buildPatSyn for the nullary case.Matthew Pickering2016-10-261-2/+11
* Refactor occurrence-check logicSimon Peyton Jones2016-10-211-1/+1
* Support constraint synonym implementations of abstract classes.Edward Z. Yang2016-10-201-0/+1
* New story for abstract data types in hsig files.Edward Z. Yang2016-10-202-8/+6
* Compute export hash based on ALL transitive orphan modules.Edward Z. Yang2016-10-181-10/+30
* Track dep_finsts in exports hash, as it affects downstream deps.Edward Z. Yang2016-10-171-0/+61
* Improve find_lbl panic messageBen Gamari2016-10-131-1/+4
* MkIface: Turn a foldr into a foldl'Ben Gamari2016-10-131-2/+2
* Clean up handling of known-key Names in interface filesBen Gamari2016-10-138-412/+304
* Rework renaming of children in export lists.Matthew Pickering2016-10-082-2/+2
* Make InstalledUnitId be ONLY a FastString.Edward Z. Yang2016-10-081-3/+4
* Distinguish between UnitId and InstalledUnitId.Edward Z. Yang2016-10-083-23/+27
* The Backpack patch.Edward Z. Yang2016-10-087-49/+404
* Fix comment about resultGabor Greif2016-09-031-1/+1
* Fix #10923 by fingerprinting optimization level.Edward Z. Yang2016-09-021-2/+8
* LoadIFace: Show known names on inconsistent interface fileBen Gamari2016-08-311-1/+6
* Extra comments, as per SPJ in #12035.Edward Z. Yang2016-08-221-0/+4
* When a value Id comes from hi-boot, insert noinline. Fixes #10083.Edward Z. Yang2016-08-211-0/+76
* Introduce BootUnfolding, set when unfolding is absent due to hs-boot file.Edward Z. Yang2016-08-212-10/+12
* Axe initIfaceTc, tie the knot through HPT (or if_rec_types).Edward Z. Yang2016-08-211-20/+48
* Annotate initIfaceCheck with usage information.Edward Z. Yang2016-08-211-1/+1
* Remove `setUnfoldingInfoLazily`Matthew Pickering2016-08-031-1/+1
* Compute boot-defined TyCon names from ModIface.Edward Z. Yang2016-07-261-8/+23
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-212-32/+108
* Revert "Clean up interaction between name cache and built-in syntax"Ben Gamari2016-07-202-32/+13
* Clean up interaction between name cache and built-in syntaxBen Gamari2016-07-202-13/+32
* InstEnv: Ensure that instance visibility check is lazyBen Gamari2016-07-201-4/+4
* IfaceEnv: Only check for built-in OccNames if mod is GHC.TypesBen Gamari2016-07-161-8/+20
* Use DVarEnv for vectInfoVarBartosz Nitka2016-07-052-2/+2
* Check generic-default method for ambiguitySimon Peyton Jones2016-07-052-11/+40
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-304-32/+16
* Fix pretty-printer for IfaceCoSimon Peyton Jones2016-06-301-11/+16
* s/Invisible/Inferred/g s/Visible/Required/gRichard Eisenberg2016-06-253-21/+21
* Comments around invisibilitySimon Peyton Jones2016-06-241-1/+1
* Improve typechecking of instance defaultsSimon Peyton Jones2016-06-241-3/+0
* Provide Uniquable version of SCCBartosz Nitka2016-06-231-1/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-155-207/+141
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-155-97/+99
* Fix #12064 by making IfaceClass typechecking more lazy.Edward Z. Yang2016-06-081-9/+12
* Make vectInfoParallelVars a DVarSetBartosz Nitka2016-06-072-2/+2
* Use a deterministic map for imp_dep_modsBartosz Nitka2016-06-071-2/+3
* Use UniqDFM for HomePackageTableBartosz Nitka2016-06-061-1/+1
* PrelInfo: Ensure that tuple promoted datacon names are in knownKeyNamesBen Gamari2016-06-041-1/+1
* Document putSymbolTable determinismBartosz Nitka2016-06-031-1/+3
* Make FieldLabelEnv a deterministic setBartosz Nitka2016-06-031-9/+2
* Serialize vParallelTyCons in a stable orderBartosz Nitka2016-06-021-1/+1
* Localize orphan-related nondeterminismBartosz Nitka2016-06-021-1/+1
* Improve failed knot-tying error message.Edward Z. Yang2016-06-021-4/+20