summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCon.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix bad interaction between withDict and the SpecialiserSimon Peyton Jones2022-05-171-1/+3
* Add a missing guard in GHC.HsToCore.Utils.is_flat_prod_patSimon Peyton Jones2022-05-111-0/+8
* Fix several note referencesKrzysztof Gogolewski2022-05-021-2/+2
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-2/+2
* Introduce ConcreteTv metavariablessheaf2022-03-021-2/+2
* Fix a few Note inconsistenciesBen Gamari2022-02-011-3/+3
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-36/+52
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Change isUnliftedTyCon to marshalablePrimTyCon (#20401)Krzysztof Gogolewski2021-12-171-54/+10
* Misc cleanupKrzysztof Gogolewski2021-11-251-4/+2
* Increase type sharingBen Gamari2021-11-171-12/+12
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-091-1/+3
* Tiny renamings and doc updatesRichard Eisenberg2021-11-041-49/+53
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-37/+184
* Remove the Maybe in primRepName's typeRyan Scott2021-10-061-8/+9
* Reword: representation instead of levitysheaf2021-06-101-11/+13
* Re-do rubbish literalsSimon Peyton Jones2021-06-051-1/+1
* 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-3/+4
* Fix newtype eta-reductionSimon Peyton Jones2021-05-071-12/+18
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-301-0/+30
* Rubbish literals for all representations (#18983)Sebastian Graf2021-03-261-19/+67
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-1/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-3/+5
* Extend nullary TyConApp optimisation to all TyConsBen Gamari2021-02-181-120/+173
* Remove deprecated -XGenerics and -XMonoPatBindsKrzysztof Gogolewski2021-02-131-4/+1
* Fix buglet in expandSynTyCon_maybeSimon Peyton Jones2021-02-061-5/+6
* Make primops for `{Int,Word}32#`John Ericson2021-01-071-2/+2
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-231-79/+20
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-5/+3
* Implement BoxedRep proposalAndrew Martin2020-12-141-3/+5
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-6/+8
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-8/+6
* Optimise nullary type constructor usageBen Gamari2020-12-141-6/+8
* Remove flattening variablesRichard Eisenberg2020-12-011-16/+33
* Fix toArgRep to support 64-bit reps on all systemsSylvain Henry2020-11-261-2/+2
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-291-2/+2
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-3/+4
* Add TyCon Set/Env and use them in a few places.Andreas Klebinger2020-10-091-81/+0
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-5/+15
* Introduce isBoxedTupleDataCon and use it to fix #18644Ryan Scott2020-09-041-2/+2
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-1/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-18/+12
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Clean up haddock hyperlinks of GHC.* (part1)Takenobu Tani2020-06-251-9/+9
* Various performance improvementsKrzysztof Gogolewski2020-06-171-2/+4
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-3/+5
* Modify file paths to module paths for new module hierarchyTakenobu Tani2020-06-011-1/+1
View Lorry Controller Status