Revert "Simplify 'ExtBits' in the lexer"
[ghc.git] / compiler / typecheck /
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"
2018-10-29  Richard EisenbergRemove kind generalisation from tcRnType
2018-10-29  Richard EisenbergFix #15787 by squashing a coercion hole.
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-28  Ben GamariPlugins: Add documentation and missing exports
2018-10-28  Ningning XieFix TcType.anyRewritableTyVar
2018-10-28  Ningning XieFix `:k` command: add validity checking
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-26  Simon JakobiRemove redundant SOURCE import
2018-10-26  Simon Peyton JonesFix generalisation for type constructors
2018-10-26  Simon Peyton JonesDe-monadise the 'extract' functions in RnTypes
2018-10-25  Simon Peyton JonesA little more wibbling to -ddump-types
2018-10-25  Simon Peyton JonesFix comment in TcType
2018-10-25  Simon Peyton JonesImprove comments, triggered by Trac #15135
2018-10-25  Simon Peyton JonesRemove a zonkTcTyVarToTyVar
2018-10-24  Simon Peyton JonesRemove unnecessary free-var-set deletion
2018-10-24  Simon Peyton JonesWibble report a wanted
2018-10-24  Simon Peyton JonesAdd HasDebugCallStack to ctEvCoecion
2018-10-24  Simon Peyton JonesReport a Wanted error even if there are Given ones
2018-10-24  Simon Peyton JonesDon't print out undefined coercions
2018-10-24  Simon Peyton JonesSolve equalities in a pattern signature
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-24  Simon Peyton JonesImprove output from -ddump-types
2018-10-24  Ryan ScottFix #15792 by not reifying invisible arguments in AppTys
2018-10-24  Ryan ScottKeep top-level names in typed TH quotes alive
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Ryan ScottFix #12430 by expanding type synonyms in injTyVarsOfType
2018-10-11  Piyush P KururSupport builtin classes like KnownNat in backpack
2018-10-09  Ben GamariRevert "Add Int8# and Word8#"
2018-10-07  Michal TerepetaAdd Int8# and Word8#
2018-10-05  Krzysztof GogolewskiMake TcRnMonad independent of TcSplice (#14391)
2018-10-04  Simon Peyton Jonestc-trace changes only
2018-10-04  Simon Peyton JonesDistinguish Inferred from Specified tyvars
2018-10-04  Simon Peyton JonesFail fast on pattern synonyms
2018-10-04  Simon Peyton JonesBetter comments and debug-print only
2018-10-04  Simon Peyton JonesBetter -ddump-types
2018-10-02  chessairesolve T13704
2018-10-01  Ryan ScottQuantify class variables first in associated families...
2018-10-01  Ryan ScottFix #15637 by using VTA more in GND
2018-09-28  Ryan ScottNormalise EmptyCase types using the constraint solver
2018-09-27  Simon MarlowFix for recover with -fexternal-interpreter (#15418)
2018-09-26  Simon Peyton JonesExpand the Note on let-bound skolems
2018-09-23  Simon Peyton JonesComments only
2018-09-15  ningningCoercion Quantification
2018-09-14  Michael SloanAdd support for ImplicitParams and RecursiveDo in TH
2018-09-13  Krzysztof GogolewskiFix build
2018-09-13  Simon Peyton JonesRemove dead variable binding
2018-09-13  Simon Peyton JonesMore info for Implication with -dppr-debug
2018-09-13  Simon Peyton JonesAllow (~) in the head of a quantified constraints
2018-09-13  Simon Peyton JonesDelete duplicated comment line
2018-09-03  Simon Peyton JonescanCFunEqCan: use isTcReflexiveCo (not isTcReflCo)
2018-09-02  Ryan ScottReject class instances with type families in kinds
2018-08-31  Simon Peyton JonesRemove knot-tying bug in TcHsSyn.zonkTyVarOcc
2018-08-31  Simon Peyton JonesCommets on flatten_args_tc
2018-08-31  Richard EisenbergMinor improvements to comments [skip ci]
2018-08-30  Gabor GreifA few typos [ci skip]
2018-08-28  Ryan ScottRename kind vars in left-to-right order in bindHsQTyVars
2018-08-27  Chaitanya KoparkarFix #10859 by using foldr1 while deriving Eq instances
2018-08-27  Ryan ScottDon't reify redundant class method tyvars/contexts
2018-08-24  Simon Peyton JonesBetter error reporting for inaccessible code
2018-08-24  Simon Peyton JonesComments only
2018-08-24  Simon Peyton JonesClean up TcHsSyn.zonkEnv
2018-08-24  Ben GamariTcSimplify: Condense MASSERT2() usage onto a single...
2018-08-23  Simon Peyton JonesAccommodate API change in transSuperClasses
2018-08-23  Simon Peyton JonesComments only
2018-08-23  Simon Peyton JonesFix a typo in TcValidity.checkFamInstRhs
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-21  Simon Peyton JonesAdd a solveEqualities to tcClassDecl1
2018-08-21  Simon Peyton JonesComments only
2018-08-20  Simon Peyton JonesInitialise cec_suppress properly
2018-08-17  Joachim BreitnerRename SigTv to TyVarTv (#15480)
2018-08-12  Ryan ScottSuppress redundant givens during error reporting
2018-08-07  Herbert Valerio... Turn on MonadFail desugaring by default
2018-08-06  Piyush P KururSupport typechecking of type literals in backpack
2018-08-06  Joachim BreitnerAllow scoped type variables refer to types
2018-08-05  Krzysztof GogolewskiFix typos
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Vladislav ZavialovFix #15415 and simplify tcWildCardBinders
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-27  Michael SloanFail instead of panic-ing when qAddTopDecls has convers...
2018-07-27  Simon Peyton JonesRefactor (~) to reduce the suerpclass stack
2018-07-25  Simon Peyton JonesComments only
next