summaryrefslogtreecommitdiff
path: root/compiler/iface
Commit message (Expand)AuthorAgeFilesLines
* 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
* Kill varEnvElts in tcPragExprBartosz Nitka2016-05-182-12/+17
* Don't prematurely force TyThing thunks with -ddump-if-trace.Edward Z. Yang2016-05-111-1/+4
* Document SCC determinismBartosz Nitka2016-05-111-1/+7
* Add Outputable ShowHowMuchSimon Peyton Jones2016-05-101-0/+5
* Rename isNopSig to isTopSigJoachim Breitner2016-03-291-1/+1
* A raft of comments about TyBindersSimon Peyton Jones2016-03-251-8/+65
* Track specified/invisible more carefully.Richard Eisenberg2016-03-215-57/+79
* Move getOccFS to NameBen Gamari2016-03-111-10/+7
* Fix printing of an `IfacePatSyn`Rik Steenkamp2016-03-052-19/+20
* Print which warning-flag controls an emitted warningMichael Walker2016-02-252-2/+9
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-247-158/+253
* Improve piResultTys and friendsSimon Peyton Jones2016-02-181-1/+1
* (Another) minor refactoring of substitutionsSimon Peyton Jones2016-02-181-1/+1
* Rename "open" subst functionsBartosz Nitka2016-01-272-4/+4
* Construct in_scope set in mkTopTCvSubstBartosz Nitka2016-01-261-1/+1
* Kill off zipTopTCvSubst in favour of zipOpenTCvSubstSimon Peyton Jones2016-01-261-3/+3
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-201-2/+2
* Fix IfaceType generation for TyCons without TyVarsÖmer Sinan Ağacan2016-01-191-1/+7
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-191-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-185-152/+152
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-5/+0
* un-wire-in error, undefined, CallStack, and IPEric Seidel2016-01-181-2/+2
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-161-1/+1
* Refactor lookupFixityRn-related code following D1744RyanGlScott2016-01-151-7/+7
* Add missing type representationsBen Gamari2016-01-131-2/+1
* Tiny refactorSimon Peyton Jones2016-01-071-3/+4
* Remove unused exportSimon Peyton Jones2016-01-071-1/+1
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-3/+0
* Visible type applicationRichard Eisenberg2015-12-242-6/+11
* Refactoring onlySimon Peyton Jones2015-12-242-6/+5
* Fix ASSERT in buildPatSyn, and T10897 testSimon Peyton Jones2015-12-231-6/+10
* Random typo fixesHerbert Valerio Riedel2015-12-171-1/+1
* Improve pretty-printing in pprIfaceIdBndrSimon Peyton Jones2015-12-171-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-118-571/+806
* Make the order of fixities in the iface file deterministicBartosz Nitka2015-12-021-1/+5
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-12/+17
* Refactor default methods (Trac #11105)Simon Peyton Jones2015-11-255-29/+61
* Support multiple debug output levelsBen Gamari2015-11-231-2/+2