summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcBackpack.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1010/+0
* Store ComponentId detailsSylvain Henry2020-03-291-6/+16
* Modules: Types (#13009)Sylvain Henry2020-03-291-11/+11
* Modules: Core (#13009)Sylvain Henry2020-03-161-3/+3
* Modules: Driver (#13009)Sylvain Henry2020-02-211-7/+7
* Disentangle DynFlags and SDocSylvain Henry2020-02-201-2/+1
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-1/+1
* Module hierarchy: Renamer (cf #13009)Sylvain Henry2020-01-081-2/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-7/+7
* Make dynflag argument for withTiming pure.Andreas Klebinger2019-10-231-3/+3
* Break up TcRnTypes, among other modules.Richard Eisenberg2019-10-161-1/+3
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-1/+0
* Refactor iface file generation:Ömer Sinan Ağacan2019-09-301-3/+3
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-161-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-1/+1
* Fix unused-import warningsDavid Eichmann2018-11-221-1/+1
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Remember the AvailInfo for each IEalexbiehl2017-09-051-1/+1
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-0/+1
* Split up RnEnv into 4 modules, RnUnbound, RnUtils and RnFixityMatthew Pickering2017-04-121-1/+1
* Add more documentation on mergeSignatures.Edward Z. Yang2017-04-021-18/+80
* Fix recompilation avoidance bug for implementor of hsig.Edward Z. Yang2017-04-021-3/+3
* Save renamed syntax when signature merging.Edward Z. Yang2017-03-171-0/+32
* Type-indexed TypeableBen Gamari2017-02-181-2/+2
* Improvements/bugfixes to signature reexport handling.Edward Z. Yang2017-02-171-8/+35
* Fix a Backpack recompilation avoidance bug when signatures change.Edward Z. Yang2017-02-171-5/+7
* Disable PVP warnings temporarily.Edward Z. Yang2017-02-121-2/+10
* Slightly reword not-exported message.Edward Z. Yang2017-02-121-1/+2
* Setup more error context for Backpack operations.Edward Z. Yang2017-02-121-6/+22
* Fix #13214 by correctly setting up dep_orphs for signatures.Edward Z. Yang2017-02-111-1/+5
* Ditch static flagsSylvain Henry2017-02-021-1/+2
* Rewrite Backpack comments on never-exported TyThings.Edward Z. Yang2017-01-221-8/+55
* Preserve coercion axioms when thinning.Edward Z. Yang2017-01-221-8/+32
* Fix handling of closed type families in Backpack.Edward Z. Yang2017-01-111-16/+18
* Improve Backpack support for fixities.Edward Z. Yang2017-01-111-8/+49
* Warn if you explicitly export an identifier with warning attached.Edward Z. Yang2017-01-111-1/+14
* Attach warnings to non-PVP compatible uses of signatures.Edward Z. Yang2017-01-111-7/+44
* Support for using only partial pieces of included signatures.Edward Z. Yang2017-01-111-21/+73
* Load orphan interfaces before checking if module implements signatureEdward Z. Yang2016-12-131-0/+5
* Reduce qualification in error messages from signature matching.Edward Z. Yang2016-12-081-0/+7
* Setup tcg_imports earlier during signature matching, so orphans are visible.Edward Z. Yang2016-12-081-9/+15
* Test for type synonym loops on TyCon.Edward Z. Yang2016-11-161-0/+4
* Only delete instances when merging when there is an exact match.Edward Z. Yang2016-10-201-17/+71
* Make InstalledUnitId be ONLY a FastString.Edward Z. Yang2016-10-081-11/+14
* Distinguish between UnitId and InstalledUnitId.Edward Z. Yang2016-10-081-8/+5
* The Backpack patch.Edward Z. Yang2016-10-081-0/+552
View Lorry Controller Status