summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types
Commit message (Expand)AuthorAgeFilesLines
* 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
* Get the in-scope set right during RULE matchingSimon Peyton Jones2021-08-191-5/+5
* Driver rework pt3: the upsweepMatthew Pickering2021-08-181-0/+1
* StgToCmm: use correct bounds for switches on sized valueswip/byte-switchSylvain Henry2021-08-171-13/+29
* Add rewriting to typechecking pluginssheaf2021-08-131-0/+10
* Modify InlineSpec data constructor (helps fix #18138)Alina Banerjee2021-08-112-32/+76
* Use Reductions to keep track of rewritingssheaf2021-08-041-3/+6
* Remove Semigroup instance for UniqDFM (#19654)Krzysztof Gogolewski2021-08-022-11/+1
* compiler: Name generated locals more descriptivelyBen Gamari2021-07-291-9/+14
* Refactor SuggestExtension constructor in GhcHintAlfredo Di Napoli2021-07-213-9/+75
* Rename RecordPuns to NamedFieldPuns in LangExt.ExtensionAlfredo Di Napoli2021-07-191-4/+0
View Lorry Controller Status