Add valid refinement substitution suggestions for typed holes
[ghc.git] / compiler / typecheck /
2018-02-18  Matthías Páll Giss... Add valid refinement substitution suggestions for typed...
2018-02-18  Ryan ScottImplement stopgap solution for #14728
2018-02-16  Ryan ScottFix #14811 by wiring in $tcUnit#
2018-02-08  Simon Peyton JonesFix isDroppableCt (Trac #14763)
2018-02-07  Simon Peyton JonesFix solveOneFromTheOther for RecursiveSuperclasses
2018-02-07  Simon Peyton JonesComments only
2018-02-01  Simon Peyton JonesExperiment with eliminating the younger tyvar
2018-02-01  Ryan ScottSequester deriving-related validity check into cond_stdOK
2018-01-31  Simon Peyton JonesLook inside implications in simplifyRule
2018-01-31  Simon Peyton JonesPrioritise equalities when solving, incl deriveds
2018-01-31  Simon Peyton JonesMore tc-tracing
2018-01-31  Simon Peyton JonesMove zonkWC to the right place in simplfyInfer
2018-01-31  Simon Peyton JonesA bit more tc-tracing
2018-01-26  Ryan ScottFix #14719 by using the setting the right SrcSpan
2018-01-26  Matthías Páll Giss... Sort valid substitutions for typed holes by "relevance"
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-25  Simon Peyton JonesComments about CoercionHoles
2018-01-23  Bartosz NitkaAllocate less in plus_mod_dep
2018-01-22  Simon Peyton JonesImprove comments about TcLevel invariants
2018-01-21  Ryan ScottFix #14692 by correcting an off-by-one error in TcGenDeriv
2018-01-18  Ryan ScottFix #14681 and #14682 with precision-aimed parentheses
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2018-01-17  Gabor GreifTypos in comments
2018-01-15  Matthew PickeringAdd flag -fno-it
2018-01-10  Simon Peyton JonesFix previous patch
2018-01-10  Bartosz NitkaLift constructor tag allocation out of a loop
2018-01-09  Simon Peyton JonesFix two more bugs in partial signatures
2018-01-09  Simon Peyton JonesSmall local refactoring
2018-01-08  Christiaan BaaijExport typeNat{Div;Mod;Log}TyCon from TcTypeNats
2018-01-05  Simon Peyton JonesFix another obscure pattern-synonym crash
2018-01-04  Simon Peyton JonesFix deep, dark corner of pattern synonyms
2018-01-04  Simon Peyton Jonescomments only
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2018-01-03  Simon Peyton JonesNo deferred type errors under a forall
2018-01-03  Simon Peyton JonesTiny refactor around fillInferResult
2018-01-03  Simon Peyton JonesComments only
2017-12-28  Gabor GreifTypos in comments [ci skip]
2017-12-26  Richard EisenbergFix #14618 by applying a subst in deeplyInstantiate
2017-12-21  Richard EisenbergComments only [skip ci]
2017-12-21  Gabor GreifTypos in comments
2017-12-21  Simon Peyton JonesFix floating of equalities
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-21  Simon Peyton JonesCheck for bogus quantified tyvars in partial type sigs
2017-12-21  Simon Peyton JonesSimplify HsPatSynDetails
2017-12-21  Ryan ScottRemove hack put in place for #12512
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-18  Gabor GreifTypos in comments
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
2017-12-18  Simon Peyton JonesTiny refactor: use mkTyVarNamePairs
2017-12-15  Richard EisenbergAdd some commentary re: fix to #11203
2017-12-15  Simon Peyton JonesFix tcDataKindSig
2017-12-14  Simon Peyton JonesBetter tc-trace messages
2017-12-14  Simon Peyton JonesFix an outright bug in the unflattener
2017-12-13  Simon Peyton JonesFurther improvements to well-kinded types
2017-12-13  Simon Peyton JonesMinor refactor of TcExpr.tcApp
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
2017-12-11  Simon Peyton JonesBuild only well-kinded types in type checker
2017-12-11  Simon Peyton JonesImproved panic message for zonkTcTyVarToTyVar
2017-12-08  Simon Peyton JonesRefactor kcHsTyVarBndrs
2017-12-07  Simon Peyton JonesRefactor ConDecl: Trac #14529
2017-12-01  David FeuerCache TypeRep kinds aggressively
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
2017-11-28  Ben Gamaritypecheck: Consistently use pretty quotes in error...
2017-11-27  Simon Peyton JonesCheck quantification for partial type signatues
2017-11-27  Edward Z. YangDon't complain about UNPACK in -fno-code.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-22  Evan Rutledge BordenAdd warn-missing-export-lists
2017-11-21  Ben GamariRevert "trees that grow" work
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-15  Facundo DomínguezStaticPointers: Clarify documentation
2017-11-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
2017-11-14  Simon Peyton JonesA bit more tc-tracing
2017-11-14  Simon Peyton JonesFix a TyVar bug in the flattener
2017-11-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Alan ZimmermanWIP on Doing a combined Step 1 and 3 for Trees That...
2017-11-08  Simon Peyton JonesMinimise provided dictionaries in pattern synonyms
2017-11-08  Simon Peyton JonesFix another dark corner in the shortcut solver
2017-11-08  Ben GamariMerge remote-tracking branch 'github/pr/83'
2017-11-07  Ben GamariRevert "WIP on combining Step 1 and 3 of Trees That...
2017-11-07  Alan ZimmermanWIP on combining Step 1 and 3 of Trees That Grow
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-11-02  Ben GamariTcRnDriver: Bracket family instance consistency output...
2017-11-02  Ryan ScottImplement the EmptyDataDeriving proposal
2017-10-30  Gabor GreifCatch a few more typos in comments
2017-10-30  Gabor GreifTypofixes in comments
2017-10-30  Gabor GreifFix typo in accessor name
2017-10-30  Simon Peyton JonesA bit more tc-tracing
2017-10-27  Simon MarlowApplicativeDo: handle BodyStmt (#12143)
2017-10-25  Tobias DammersFactor out readField (#14364)
2017-10-25  Daishi NakajimaImplement `-Wpartial-fields` warning (#7169)
2017-10-25  Ben Gamaritypecheck: Clarify errors mentioned in #14385
2017-10-24  Simon Peyton JonesTemporary fix to Trac #14380
2017-10-23  Simon Peyton JonesComments only
2017-10-20  Simon Peyton JonesImprove kick-out in the constraint solver
2017-10-20  Simon Peyton JonesComments and white space
2017-10-19  Ryan ScottExport injectiveVarsOf{Binder,Type} from TyCoRep
2017-10-19  Ryan ScottFix #14369 by making injectivity warnings finer-grained
2017-10-19  Ryan ScottError when deriving instances in hs-boot files
next