summaryrefslogtreecommitdiff
path: root/compiler/iface/MkIface.hs
Commit message (Expand)AuthorAgeFilesLines
* When a value Id comes from hi-boot, insert noinline. Fixes #10083.Edward Z. Yang2016-08-211-0/+76
* Annotate initIfaceCheck with usage information.Edward Z. Yang2016-08-211-1/+1
* Implement unboxed sum primitive typeÖmer Sinan Ağacan2016-07-211-0/+1
* Use DVarEnv for vectInfoVarBartosz Nitka2016-07-051-1/+1
* Axe RecFlag on TyCons.Edward Z. Yang2016-06-301-4/+1
* Provide Uniquable version of SCCBartosz Nitka2016-06-231-1/+1
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-36/+33
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-10/+13
* Make vectInfoParallelVars a DVarSetBartosz Nitka2016-06-071-1/+1
* Use a deterministic map for imp_dep_modsBartosz Nitka2016-06-071-2/+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
* Document SCC determinismBartosz Nitka2016-05-111-1/+7
* Rename isNopSig to isTopSigJoachim Breitner2016-03-291-1/+1
* Track specified/invisible more carefully.Richard Eisenberg2016-03-211-8/+11
* Move getOccFS to NameBen Gamari2016-03-111-10/+7
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-17/+18
* Fix IfaceType generation for TyCons without TyVarsÖmer Sinan Ağacan2016-01-191-1/+7
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-12/+12
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-5/+0
* Refactor lookupFixityRn-related code following D1744RyanGlScott2016-01-151-7/+7
* Tiny refactorSimon Peyton Jones2016-01-071-3/+4
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-26/+30
* Make the order of fixities in the iface file deterministicBartosz Nitka2015-12-021-1/+5
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-251-4/+5
* Revert "Unify hsig and hs-boot; add preliminary "hs-boot" merging."Edward Z. Yang2015-11-161-40/+7
* Move usage calculation to desugaring, simplifying ModGuts.Edward Z. Yang2015-11-161-197/+15
* Turn ImportedModsVal into a data typeJoachim Breitner2015-11-131-3/+3
* Give helpful advice when a fully qualified name is not in scopeJoachim Breitner2015-11-131-3/+3
* Associate pattern synonyms with types in module exportsMatthew Pickering2015-11-111-1/+1
* Generate Typeable info at definition sitesBen Gamari2015-10-301-6/+4
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-4/+6
* Generate Typeable info at definition sitesBen Gamari2015-10-291-6/+4
* Record pattern synonymsMatthew Pickering2015-10-291-3/+8
* Pattern synonyms: swap provided/requiredSimon Peyton Jones2015-10-281-1/+1
* Sort field labels before fingerprint hashingBartosz Nitka2015-10-271-1/+8
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-12/+20
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-7/+7
* Simplify type of ms_srcimps and ms_textual_imps.Edward Z. Yang2015-10-091-2/+2
* Move orphan instance/rule warnings to typechecker/desugarer.Edward Z. Yang2015-10-081-78/+15
* Unify hsig and hs-boot; add preliminary "hs-boot" merging.Edward Z. Yang2015-09-211-7/+40
* Revert "Revert "Revert "Support for multiple signature files in scope."""Edward Z. Yang2015-09-211-14/+4
* Refactor BranchLists.Richard Eisenberg2015-09-211-5/+6
* Perform a validity check on assoc type defaults.Richard Eisenberg2015-09-211-1/+1
* Injective type familiesJan Stolarek2015-09-031-3/+6
* Anchor type family instances deterministicallyBartosz Nitka2015-08-311-6/+1
* MkIface: Introduce PatSynId, ReflectionId, DefMethIdBen Gamari2015-08-271-2/+11
* Replace HsBang type with HsSrcBang and HsImplBangAdam Sandberg Eriksson2015-08-101-2/+7
* Replace (SourceText,FastString) with StringLiteral data typeAlan Zimmerman2015-08-021-1/+1