[skip ci] correct formatting of casArray# in docs for casSmallArray#
[ghc.git] / compiler / typecheck /
2019-04-19  Alec TheriaultTH: make `Lift` and `TExp` levity-polymorphic
2019-04-14  Krzysztof GogolewskiFix assertion failures reported in #16533
2019-04-04  Ryan ScottTweak error messages for narrowly-kinded assoc default...
2019-04-03  Chris MartinCorrect two misspellings of "separately"
2019-03-25  Takenobu TaniUpdate Wiki URLs to point to GitLab
2019-03-22  Herbert Valerio... base: Remove `Monad(fail)` method and reexport `MonadFa...
2019-03-21  Ryan ScottReject nested predicates in impredicativity checking
2019-03-20  Krzysztof GogolewskiFix typos
2019-03-20  Krzysztof GogolewskiReplace nOfThem by replicate
2019-03-16  Simon Peyton JonesAdd location to the extra-constraints wildcard
2019-03-16  Simon Peyton JonesImprove error recovery in the typechecker
2019-03-15  Simon Peyton JonesReport better suggestion for GADT data constructor
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-12  Simon Peyton JonesUse transSuperClasses in TcErrors
2019-03-11  Krzysztof GogolewskiChange the warning in substTy back to an assertion
2019-03-09  Simon Peyton JonesStop inferring over-polymorphic kinds
2019-03-08  Roland SennFix #13839: GHCi warnings do not respect the default...
2019-03-08  Simon Peyton JonesUse captureTopConstraints in TcRnDriver calls
2019-03-07  Ryan ScottFix #16391 by using occCheckExpand in TcValidity
2019-03-05  Simon Peyton JonesBe more careful when naming TyCon binders
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
2019-02-24  Vladislav ZavialovExpression/command ambiguity resolution
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-24  Simon Peyton JonesRemove bogus assertion
2019-02-22  Simon Peyton JonesRemove tcTyConUserTyVars
2019-02-18  Alec TheriaultUphold AvailTC Invariant for associated data fams
2019-02-18  Simon Peyton JonesGet rid of tcm_smart from TyCoMapper
2019-02-14  Simon Peyton JonesFail fast in solveLocalEqualities
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2019-02-14  Matthew PickeringImplement -Wredundant-record-wildcards and -Wunused...
2019-02-12  Richard EisenbergFix #16188
2019-02-12  Ryan ScottFix #16293 by cleaning up Proxy# infelicities
2019-02-10  Matthew PickeringCapture and simplify constraints arising from running...
2019-02-09  klebinger.andreas... Replace a few uses of snocView with last/lastMaybe.
2019-02-08  Simon Peyton JonesMinor refactor of CUSK handling
2019-02-08  Simon Peyton JonesComments only
2019-02-08  Alan ZimmermanAPI Annotations: AnnAt disconnected for TYPEAPP
2019-02-08  Richard EisenbergFix #14729 by making the normaliser homogeneous
2019-02-06  Ryan ScottFix #16287 by checking for more unsaturated synonym...
2019-02-06  Ryan ScottFix #14579 by defining tyConAppNeedsKindSig, and using it
2019-02-04  Zejun WuAdd `-fplugin-trustworthy` to avoid marking modules...
2019-02-02  Ryan ScottReject oversaturated VKAs in type family equations
2019-01-31  Sylvain HenryUse ByteString to represent Cmm string literals (#16198)
2019-01-28  Richard EisenbergSome refactoring in tcInferApps
2019-01-23  Gabor GreifA few typofixes
2019-01-21  Matthew PickeringFix typo in TcRnTypes.hs [skip ci]
2019-01-20  Chaitanya KoparkarMention DerivingStrategies in the warning when DAC...
2019-01-18  Herbert Valerio... Prepare source-tree for base-4.13 MFP bump
2019-01-17  Simon Peyton JonesSmall refactor
2019-01-17  Simon Peyton JonesRemove export of checkValidFamPats, never used
2019-01-15  Ryan Scott@simonpj's suggested refactor
2019-01-15  Ryan ScottControl validity-checking of type synonym applications...
2019-01-11  Matthew PickeringRun typed splices in the zonker
2019-01-08  Ryan ScottBe pickier about unsaturated synonyms in :kind
2019-01-06  Ryan ScottFix #16133 by checking for TypeApplications in rnExpr
2019-01-06  chessaiAdd -Wmissing-deriving-strategies
2019-01-03  mynguyenVisible kind application
2018-12-29  Shayne Fletcherrebindable-clash-warning-fix : correct warning logic
2018-12-21  Ben GamariTcRnDriver: Fix haddock-like comment
2018-12-21  Simon Peyton JonesFix treatment of hi-boot files and dfuns
2018-12-21  Simon Peyton JonesTiny refactor to tcExtendRecEnv
2018-12-21  Simon Peyton JonesMake candidateQTvs contain tyvar with zonked kinds
2018-12-21  Ryan ScottFix #16002 by moving a validity check to the renamer
2018-12-20  Simon Peyton JonesAdd solveLocalEqualities to tcHsPatSigType
2018-12-19  chessaidon't suggest Rank2Types in error messages (Fixed ...
2018-12-17  Gabor GreifStomp a few typos and grammaros
2018-12-15  Ingo BlechschmidtUse https links in user-facing startup and error messages
2018-12-11  Shayne FletcherEnable rebindable fail with overloaded strings
2018-12-11  Alec TheriaultSupport generating HIE files
2018-12-11  Daniel GröberSupport registering Plugins through the GHC API
2018-12-11  Ryan ScottFix #16008 with a pinch of addConsistencyConstraints
2018-12-10  Richard EisenbergFix minor mistake in comment about data decls.
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-12-06  Simon Peyton JonesRemove a tcTrace
2018-12-03  Simon Peyton JonesComments only
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-12-03  Ryan ScottFix #15954 by rejigging check_type's order
2018-11-29  Chaitanya KoparkarFix #15953 by consistently using dumpIfSet_dyn to print...
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
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  Simon JakobiRefactor TcRnMonad.mapAndRecoverM
2018-11-22  Simon JakobiDon't reverse explicit export lists during renaming
2018-11-22  Sylvain HenryRename literal constructors
2018-11-17  Abhiroop SarkarIntroduce Int16# and Word16#
2018-11-17  Chris SmithFix trac #15702, as a followon to fix for #13704.
2018-11-17  Roland SennFix #12906: GHC fails to typecheck Main module without...
2018-11-15  Simon Peyton JonesComments adding to the fix for Trac #15859
2018-11-11  rolandGHCi does not need a main function
2018-11-08  Ryan ScottFix #15845 by defining etaExpandFamInstLHS and using it
2018-11-05  Richard EisenbergFix #15859 by checking, not assuming, an ArgFlag
2018-11-04  rolandFix for Trac #15611: Scope errors lie about what module...
2018-11-02  Michal TerepetaAdd Int8# and Word8#
2018-11-01  Matthías Páll Giss... Add built-in syntax suggestions, and refactor to allow...
2018-11-01  Richard EisenbergDon't lint erroneous programs.
2018-11-01  Richard EisenbergActually fail in failIfEmitsConstraints
2018-10-29  Richard EisenbergRevert "Remove kind generalisation from tcRnType"
next