summaryrefslogtreecommitdiff
path: root/compiler/GHC/Types
Commit message (Expand)AuthorAgeFilesLines
* Split up tyThingToIfaceDecl from GHC.Iface.Makesheaf2023-05-151-1/+1
* Make GHC.Types.Id.Make.shouldUnpackTy a bit more cleverSimon Peyton Jones2023-05-131-63/+142
* Add structured error messages for GHC.IfaceToCoreTorsten Schmits2023-05-081-0/+1
* Add structured error messages for GHC.Rename.ModuleTorsten Schmits2023-05-053-0/+33
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-053-0/+19
* Add structured error messages for GHC.Rename.NamesTorsten Schmits2023-04-303-3/+34
* Add the Unsatisfiable classsheaf2023-04-291-0/+1
* DmdAnal: Unleash demand signatures of free RULE and unfolding binders (#23208)Sebastian Graf2023-04-261-162/+174
* More informative errors for bad imports (#21826)Soham Chowdhury2023-04-253-27/+81
* Convert interface file loading errors into proper diagnosticsMatthew Pickering2023-04-182-0/+33
* Show an error when we cannot default a concrete tyvarKrzysztof Gogolewski2023-04-151-4/+9
* Add quot folding rule (#22152)Sylvain Henry2023-04-131-1/+7
* Clarify a couple of Notes about 'nospec'Simon Peyton Jones2023-04-111-4/+9
* Renamer: don't call addUsedGRE on an exact Namesheaf2023-04-071-6/+2
* Add structured error messages for GHC.Tc.TyCl.UtilsTorsten Schmits2023-04-071-0/+1
* Relax assertion in varToRecFieldOccsheaf2023-04-041-3/+6
* Convert diagnostics in GHC.Rename.HsType to proper TcRnMessageHaskell-mouse2023-04-031-0/+11
* TH: revert changes to GadtC & RecGadtCsheaf2023-04-011-2/+2
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-013-3/+62
* driver: Unit State Data.Map -> GHC.Unique.UniqMapdoyougnu2023-04-012-3/+38
* igre_prompt_env: discard "only-qualified" namessheaf2023-03-292-3/+16
* Avoid repeatedly shadowing in shadowNamessheaf2023-03-292-40/+154
* Handle records in the renamersheaf2023-03-2921-914/+1694
* Allow WARNING pragmas to be controlled with custom categoriesAdam Gundry2023-03-242-7/+18
* Add structured error messages for GHC.Tc.TyCl.PatSynTorsten Schmits2023-03-231-0/+6
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-221-0/+3
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-211-0/+11
* Rename () into Unit, (,,...,,) into Tuple<n> (#21294)Andrei Borzenkov2023-03-213-11/+28
* Add structured error messages for GHC.Tc.Utils.BackpackTorsten Schmits2023-03-172-15/+14
* Convert diagnostics in GHC.Rename.Module to proper TcRnMessage (#20115)Andrei Borzenkov2023-03-061-0/+16
* GHC proposal 496 - Nullary record wildcardsGeorgi Lyubenov2023-02-211-0/+82
* Disallow `tagToEnum#` on `type data` typeswip/T22948Ryan Scott2023-02-201-0/+1
* Don't generate datacon wrappers for `type data` declarationsRyan Scott2023-02-201-3/+23
* Update outdated references to notesSimon Hengel2023-02-142-5/+5
* Introduce warning for loopy superclass solvesheaf2023-02-143-0/+14
* Refactor the simplifier a bit to fix #22761Simon Peyton Jones2023-02-101-6/+8
* Fix CallerCC potentially shadowing other cost centres.Andreas Klebinger2023-02-031-34/+43
* compiler: Implement higher order patterns in the rule matcherJaro Reinders2023-02-021-8/+16
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-311-7/+9
* Improve exprOkForSpeculation for classopsSimon Peyton Jones2023-01-315-20/+30
* Take account of loop breakers in specLookupRuleSimon Peyton Jones2023-01-302-5/+27
* Handle `type data` properly in tyThingParent_maybeRyan Scott2023-01-301-3/+13
* Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)Andrei Borzenkov2023-01-281-0/+11
* Report family instance orphans correctlySimon Peyton Jones2023-01-272-4/+16
* Replace errors from badOrigBinding with new one (#22839)Andrei Borzenkov2023-01-271-2/+3
* Force more in NFData Name instanceMatthew Pickering2023-01-261-1/+1
* Refactor warning flag parsing to add missing flagsAdam Gundry2023-01-181-1/+1
* Add 'docWithStyle' to improve codegenKrzysztof Gogolewski2023-01-113-37/+37
* Parse qualified terms in type signaturesHaskellMouse2023-01-111-0/+1
* Added a new warning about compatibility with RequiredTypeArgumentsHaskellMouse2023-01-115-1/+29
View Lorry Controller Status