summaryrefslogtreecommitdiff
path: root/compiler/GHC/Core/TyCon.hs
Commit message (Expand)AuthorAgeFilesLines
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-71/+22
* Refactor TyCon to have a top-level productSimon Peyton Jones2022-12-021-500/+440
* Properly cast values when writing/reading unboxed sums.Andreas Klebinger2022-11-301-0/+20
* Use mkNakedFunTy in tcPatSynSigSimon Peyton Jones2022-11-301-3/+3
* Fix decomposition of TyConAppswip/T22331Simon Peyton Jones2022-11-251-8/+9
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-251-5/+9
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-160/+114
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-081-8/+42
* Apply some tricks to speed up core lint.Andreas Klebinger2022-09-281-8/+11
* Fix typosKrzysztof Gogolewski2022-09-141-2/+2
* Fix typosEric Lindblad2022-09-141-1/+1
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-111-2/+4
* Use (fixed_lev = True) in mkDataTyConRhsMatthew Craven2022-06-131-1/+1
* 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
View Lorry Controller Status