summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/DataCon.hs
Commit message (Expand)AuthorAgeFilesLines
* Handle records in the renamersheaf2023-03-291-1/+1
* More fixes for `type data` declarationsSimon Peyton Jones2023-03-031-4/+16
* Update outdated references to notesSimon Hengel2023-02-141-1/+1
* Improve treatment of type applications in patternswip/T19847Simon Peyton Jones2023-02-011-0/+1
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-311-6/+44
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-60/+4
* DmdAnal: Reflect the `seq` of strict fields of a DataCon worker (#22475)Sebastian Graf2022-11-301-13/+30
* Fix a trivial typo in dataConNonlinearTypewip/T22416Simon Peyton Jones2022-11-121-6/+10
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-93/+272
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-081-1/+1
* implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)Ross Paterson2022-09-271-1/+7
* Fix typosEric Lindblad2022-09-141-1/+1
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-1/+1
* Remove many GHC dependencies from L.H.Sromes2022-07-061-16/+3
* Refactor ModuleName to L.H.S.Module.Nameromes2022-07-031-1/+2
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-091-3/+30
* Misc cleanupKrzysztof Gogolewski2022-05-161-1/+1
* Tag inference work.Andreas Klebinger2022-02-121-2/+18
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
* Instantiate field types properly in stock-derived instancesRyan Scott2021-11-151-0/+56
* Refactoring: Move DataConEnv to GHC.Core.DataConRyan Scott2021-11-151-0/+5
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-091-26/+51
* Minor fix to pretty-printing of linear typesKrzysztof Gogolewski2021-08-051-2/+2
* Fix and slight improvement to datacon worker/wrapper notesSylvain Henry2021-05-291-0/+3
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-8/+9
* Expand Note [Data con representation].Andreas Klebinger2021-05-111-4/+30
* EPA : rename 'api annotations' to 'exact print annotations'Alan Zimmerman2021-03-311-1/+1
* Refactor renamer datastructuresAdam Gundry2020-12-241-1/+1
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-231-9/+8
* Split GHC.Driver.TypesSylvain Henry2020-10-291-3/+5
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-091-4/+5
* Don't import GHC.Unit to reduce the number of dependenciesSylvain Henry2020-10-011-1/+2
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-2/+2
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-1/+5
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-041-6/+10
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-2/+4
* DynFlags: don't use sdocWithDynFlags in datacon pprSylvain Henry2020-07-301-7/+4
* Use ShortByteString for FastStringDaniel Gröber2020-07-221-3/+6
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-2/+1
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-29/+91
* Explicit SpecificityGert-Jan Bottu2020-05-211-11/+11
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-5/+5
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
* Use conLikeUserTyVarBinders to quantify field selector typesRyan Scott2020-04-121-1/+32
View Lorry Controller Status