Add network submodule.
[ghc.git] / compiler / typecheck /
2018-02-05  Moritz AngermannAdds `-llvmng`
2018-02-01  Simon Peyton JonesLook inside implications in simplifyRule
2018-02-01  Simon Peyton JonesPrioritise equalities when solving, incl deriveds
2018-02-01  Simon Peyton JonesMove zonkWC to the right place in simplfyInfer
2018-01-29  Ryan ScottFix #14719 by using the setting the right SrcSpan
2018-01-22  Ryan ScottFix #14692 by correcting an off-by-one error in TcGenDeriv
2018-01-18  Ryan ScottFix #14681 and #14682 with precision-aimed parentheses ghc-8.4.1-alpha2
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2018-01-14  Simon Peyton JonesSimplify HsPatSynDetails
2018-01-14  Simon Peyton JonesFix previous patch
2018-01-14  Simon Peyton JonesFix two more bugs in partial signatures
2018-01-14  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2018-01-14  Simon Peyton JonesFix floating of equalities
2018-01-14  Simon Peyton JonesRefactor coercion holes
2018-01-14  Simon Peyton JonesCheck for bogus quantified tyvars in partial type sigs
2018-01-14  Simon Peyton JonesFix SigTvs at the kind level
2018-01-14  Simon Peyton JonesRefactor kcHsTyVarBndrs
2018-01-12  Christiaan BaaijExport typeNat{Div;Mod;Log}TyCon from TcTypeNats
2017-12-28  Richard EisenbergFix #14618 by applying a subst in deeplyInstantiate
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
2017-10-18  Simon Peyton JonesBetter solving for representational equalities
2017-10-18  Simon Peyton JonesDon't deeply expand insolubles
2017-10-16  Edward Z. YangLevity polymorphic Backpack.
2017-10-16  Peter TrommlerFix typo
2017-10-11  Simon Peyton JonesAdd a missing zonk in TcDerivInfer.simplifyDeriv
2017-10-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-10-11  Simon Peyton JonesChange "cobox" to "co" in debug output
2017-10-11  Simon Peyton JonesFix over-eager error suppression in TcErrors
2017-10-11  Simon Peyton JonesTypos in comments only
2017-10-11  Simon Peyton JonesTidy up some convoluted "child/parent" code
2017-10-07  Ryan ScottIncorporate changes from #11721 into Template Haskell
2017-10-05  Joachim BreitnerRemove m_type from Match (#14313)
2017-10-03  Iavor DiatchkiImplement Div, Mod, and Log for type-level nats.
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-10-03  Simon Peyton JonesFix bug in the short-cut solver
2017-10-03  Simon Peyton JonesComments only
2017-09-29  Richard EisenbergFix #13391 by checking for kind-GADTs
2017-09-27  Gabor GreifTypofixes
2017-09-26  Ben GamariTcInteract: Remove redundant import of Typeable
2017-09-26  Simon Peyton JonesOmit Typeable from the "naturally coherent" list
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-25  Simon Peyton JonesFix solving of implicit parameter constraints
2017-09-25  Simon Peyton JonesImprove type-error reporting
2017-09-25  Simon Peyton JonesDeal with large extra-contraints wildcards
2017-09-22  Herbert Valerio... Fix build with GhcWithInterpreter=NO
2017-09-22  Facundo DomínguezImplement TH addCorePlugin.
2017-09-21  Matthías Páll Giss... Also show types that subsume a hole as valid substituti...
2017-09-21  Adam GundryIdentify fields by selector when type-checking (fixes...
2017-09-21  Ryan ScottTypofixes (visiblity -> visibility)
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-19  Simon Peyton JonesFix unused-given-constraint bug
2017-09-15  Arnaud SpiwackRemove dead function TcUnify.wrapFunResCoercion
2017-09-15  Alan ZimmermanRenamer now preserves location for IEThingWith list...
2017-09-15  HE, TaoFix missing fields warnings in empty record constructio...
2017-09-15  Ben GamariFix name of note
2017-09-14  Richard EisenbergFix #13963.
2017-09-14  Richard EisenbergFix #13909 by tweaking an error message.
2017-09-14  Simon Peyton JonesRemove unused variable binding
2017-09-14  Simon Peyton JonesRefactor tcInferApps
2017-09-14  Simon Peyton JonesRefactor to eliminate FamTyConShape
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
next