Treat out-of-scope variables as holes
[ghc.git] / compiler / typecheck / TcSMonad.hs
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-06-18  Simon Peyton JonesA bit more tracing
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
2015-06-16  Richard EisenbergDecompose wanted repr. eqs. when no matchable givens.
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-15  Simon Peyton JonesRemove derived CFunEqCans after solving givens
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-06-01  Adam GundryAdd constraint creation functions to TcPluginM API
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-04-30  Gabor GreifTypo fixes (mostly in comments)
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-01-09  Edward Z. YangNewtype CoreMap and TypeMap so their keys are user...
2015-01-08  Edward Z. YangAdd 'DeBruijn' constructor, which generalizes "key...
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-31  Simon Peyton JonesWhen solving one Given from another, use the depth...
2014-12-31  Simon Peyton JonesEliminate the final two calls to xCtEvidence
2014-12-30  Simon Peyton JonesComments only, mainly on superclasses
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-18  Adam GundryAmend TcPluginM interface
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Simon Peyton JonesImplement a fast path for new constraints looking like...
2014-12-10  Simon Peyton JonesWhen flattening, try reducing type-family applications...
2014-12-10  Simon Peyton JonesReorganise the work list, so that flattening goals...
2014-12-08  Simon Peyton JonesImprove the treatment of AppTy equalities
2014-12-08  Simon Peyton JonesOptimise partitionFunEqs for the 'false' case
2014-12-03  Austin Seippcompiler: de-lhs typecheck/