Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)
[ghc.git] / compiler / basicTypes /
2019-06-14  Andrew MartinImplement the -XUnliftedNewtypes extension.
2019-06-12  Krzysztof GogolewskiUse DeriveFunctor throughout the codebase (#15654)
2019-06-11  Richard EisenbergComments only: document newtypes' DataConWrapId
2019-06-07  Sebastian GrafTmOracle: Replace negative term equalities by refutable...
2019-05-24  Michael SloanAdd PlainPanic for throwing exceptions without dependin...
2019-05-22  Michael SloanUse datatype for unboxed returns when loading ghc into...
2019-05-01  Sebastian GrafCompute demand signatures assuming idArity
2019-04-09  Artem Pyanykhcodegen: use newtype for Alignment in BasicTypes
2019-03-25  Takenobu TaniUpdate Wiki URLs to point to GitLab
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-13  Ryan ScottFix #16411 by making dataConCannotMatch aware of (~~)
2019-03-08  Sylvain HenryTH: support raw bytes literals (#14741)
2019-03-07  Ryan ScottFix #16391 by using occCheckExpand in TcValidity
2019-03-05  Krzysztof GogolewskiFix map/coerce rule for newtypes with wrappers
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-22  Simon Peyton JonesFix exprIsConApp_maybe
2019-02-19  Krzysztof GogolewskiLook through newtype wrappers (Trac #16254)
2019-02-19  Arnaud SpiwackMake constructor wrappers inline only during the final...
2019-02-18  Alec TheriaultUphold AvailTC Invariant for associated data fams
2019-02-15  Alec TheriaultProperly escape character literals in Haddocks
2019-02-12  Ryan ScottFix #16293 by cleaning up Proxy# infelicities
2019-02-05  Vladislav ZavialovRefactor splice_exp in Parser.y
2019-02-02  Sebastian GrafPolished Note [Exceptions and strictness]
2019-02-01  Sebastian GrafRemove ExnStr and ThrowsExn business
2019-01-31  Sylvain HenryUse ByteString to represent Cmm string literals (#16198)
2019-01-23  Gabor GreifMinor refactor [ci skip]
2019-01-23  Gabor GreifA few typofixes
2019-01-22  Simon Peyton JonesFix bogus worker for newtypes
2019-01-18  Herbert Valerio... Prepare source-tree for base-4.13 MFP bump
2019-01-17  Simon Peyton JonesComments about data constructor wrappers
2019-01-13  Ryan ScottDon't invoke dataConSrcToImplBang on newtypes
2018-12-12  Simon Peyton JonesImprovements to demand analysis
2018-12-11  Alec TheriaultSupport generating HIE files
2018-12-05  Simon Peyton JonesRemove duplicates in -ddump-minimial-imports
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
2018-11-23  Sebastian GrafImplement late lambda lift
2018-11-22  David EichmannFix unused-import warnings
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-22  Ryan ScottFix #15852 by eta expanding data family instance RHSes...
2018-11-22  Sylvain HenryRename literal constructors
2018-11-19  Sebastian GrafDon't track free variables in STG syntax by default
2018-11-18  Chris DoneFix typo in docs
2018-11-15  Simon Peyton JonesSmarter HsType pretty-print for promoted datacons
2018-11-13  Sebastian GrafMake `UniqDSet` a newtype
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Ömer Sinan AğacanFix cardinality change of fields in addDataConStrictness
2018-10-14  Sebastian GrafAdd RubbishLit for absent bindings of UnliftedRep
2018-10-04  Alec TheriaultSet `infixr -1 ->`
2018-10-03  Joachim BreitnerMake GHC (the library) flexible in the choice of intege...
2018-09-15  ningningCoercion Quantification
2018-09-05  Simon Peyton JonesDefine activeAfterInitial, activeDuringFinal
2018-09-02  Alp Mestanogullarimake iToBase62's inner loop stricter in one of its...
2018-08-27  Ryan ScottFix #15502 by not casting to Int during TH conversion
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-21  Simon Peyton JonesSet strictness correctly for JoinIds
2018-08-12  Zubin DuggalCheck if files are same in combineSrcSpans
2018-08-07  Herbert Valerio... Turn on MonadFail desugaring by default
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-08-01  Ben GamariRevert "Don't inline functions with RULES too early"
2018-07-31  Simon Peyton JonesDon't inline functions with RULES too early
2018-07-16  Vladislav ZavialovDo not imply NoStarIsType by TypeOperators/TypeInType
2018-07-15  Richard EisenbergMove check for dcUserTyVarBinders invariant
2018-07-12  jhb563Adding missing 'no'
2018-07-05  Ryan ScottFix newtype instance GADTs
2018-06-29  Gabor GreifA few typofixes in comments
2018-06-25  Simon Peyton JonesMore misc comments
2018-06-20  Gabor GreifA few more typofixes in docs/comments [ci skip]
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-17  Adam GundryHandle DuplicateRecordFields correctly in filterImports...
2018-06-15  Sylvain HenryBuilt-in Natural literals in Core
2018-06-15  Matthew PickeringMake NameSort note into proper Note
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-14  Simon JakobiFix deserialization of docs (#15240)
2018-06-11  Simon Peyton JonesComments only
2018-06-07  Matthew PickeringRename dataConRepNameUnique to dataConTyRepNameUnique
2018-06-05  Ryan ScottIntroduce DerivingVia
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-03  David FeuerRemove ~# from surface syntax
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-05-30  Simon JakobiDelete duplicate definition of fingerprintByteString
2018-05-29  Gabor GreifTypofixes [ci skip]
2018-05-23  Gabor GreifTypo in comments
2018-05-15  Sebastian GrafAlgebraically simplify add/sub with carry/overflow
2018-05-14  Ryan ScottFix #14875 by introducing PprPrec, and using it
2018-05-13  Ben GamariTcInteract: Ensure that tycons have representations...
2018-04-20  Simon Peyton Jonescomments only
2018-04-09  Joachim BreitnerSome cleanup of the Exitification code
2018-04-06  Simon Peyton JonesComments only, about exitifcation
2018-04-03  Simon Peyton JonesFix accidental breakage in T7050
2018-04-02  Simon Peyton JonesAllow unpacking of single-data-con GADTs
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-25  Adam GundryFix panic on module re-exports of DuplicateRcordFields
2018-03-22  Simon Peyton JonesImprove shortOutIndirections slightly
2018-03-19  HE, TaoImprove the warning message of qualified unused imports.
2018-03-13  Ryan ScottDrop GHC 8.0 compatibility
next