summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types
Commit message (Expand)AuthorAgeFilesLines
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-173-89/+278
* Untangled GHC.Types.Id.Make from the driverSylvain Henry2022-01-121-25/+16
* Abstract BangOptsSylvain Henry2022-01-121-23/+43
* warnPprTrace: pass separately the reasonKrzysztof Gogolewski2022-01-112-2/+3
* Fix parsing & printing of unboxed sumssheaf2022-01-111-0/+18
* Use primOpIds cache more often (#20857)Sylvain Henry2022-01-062-42/+2
* Check quoted TH names are in the correct namespacesheaf2022-01-042-1/+16
* Multiple Home UnitsMatthew Pickering2021-12-283-5/+6
* Fix typosKrzysztof Gogolewski2021-12-252-6/+6
* Demand: `Eq DmdType` modulo `defaultFvDmd` (#20827)Sebastian Graf2021-12-171-5/+35
* Combine STG free variable traversals (#17978)nineonine2021-11-231-2/+12
* Better wrapper activation calculationSimon Peyton Jones2021-11-221-5/+36
* Increase type sharingBen Gamari2021-11-173-11/+11
* Implement -Wforall-identifier (#20609)Vladislav Zavialov2021-11-122-0/+10
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-081-50/+122
* Print the Type kind qualified when ambiguous (#20627)Vladislav Zavialov2021-11-071-17/+48
* Fix Int64ToInt/Word64ToWord rules on 32-bit architecturesSylvain Henry2021-11-061-8/+9
* Don't default type variables in type familiessheaf2021-10-261-0/+60
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-243-230/+540
* Refactor package importsSylvain Henry2021-10-221-0/+40
* Document that `InScopeSet` is a superset of currently in-scope variablesZiyang Liu2021-10-221-2/+22
* instance Ord Name: Do not repeat default methodsJoachim Breitner2021-10-201-5/+1
* Make fields of GlobalRdrElt strictMatthew Pickering2021-10-201-22/+23
* Make the fields of Target and TargetId strictMatthew Pickering2021-10-191-6/+8
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-173-52/+45
* shadowNames: Use OccEnv a, not [OccName]Joachim Breitner2021-10-153-15/+30
* GHC.Builtin.Uniques: Remove unused codeJoachim Breitner2021-10-151-8/+1
* Move BreakInfo into own moduleJoachim Breitner2021-10-141-0/+12
* shadowNames: Accept an OccName, not a GreNameJoachim Breitner2021-10-131-20/+10
* More strictness around HomePackageTableMatthew Pickering2021-10-121-4/+12
* Removed left-over comment from `nonDetEltsUFM`-removal in `seqEltsUFM`.Benjamin Maurer2021-10-071-3/+0
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-053-4/+51
* Don't use FastString for UTF-8 encoding onlySylvain Henry2021-10-021-1/+3
* code gen: Improve efficiency of findPrefRealRegMatthew Pickering2021-10-011-0/+4
* NCG: Linear-reg-alloc: A few small implemenation tweaks.Andreas Klebinger2021-09-301-3/+8
* Nested CPR light unleashed (#18174)Sebastian Graf2021-09-304-43/+30
* compiler: occEnvElts -> nonDetOccEnvEltsBen Gamari2021-09-292-5/+5
* compiler: Use seqEltsNameEnv rather that nameEnvEltsBen Gamari2021-09-291-0/+3
* compiler: Rename nameEnvElts -> nonDetNameEnvEltsBen Gamari2021-09-293-3/+3
* compiler: Make nubAvails deterministicBen Gamari2021-09-292-5/+12
* compiler: Rewrite all eltsUFM occurrences to nonDetEltsUFMBen Gamari2021-09-295-8/+5
* compiler: Reimplement seqEltsUFM in terms of foldBen Gamari2021-09-292-3/+3
* Remove NoGhcTc usage from HsMatchContextArtyom Kuznetsov2021-09-281-4/+3
* Use Info Table Provenances to decode cloned stack (#18163)Sven Tennie2021-09-231-6/+21
* Improve pretty-printer defaulting logic (#19361)Krzysztof Gogolewski2021-09-171-0/+1
* Ensure that zapFragileUnfolding preseves evaluatednessBen Gamari2021-09-111-5/+5
* Canonicalize bignum literalsSylvain Henry2021-09-111-57/+45
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-073-3/+37
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-2/+2
* Convert IFace Rename Errors (#19927)Aaron Allen2021-08-272-0/+10