Fix regDotColor for amd64.
[ghc.git] / compiler / typecheck /
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
2018-07-25  Simon Peyton JonesComments only
2018-07-25  Simon Peyton Jonestc-tracing only
2018-07-25  Simon Peyton JonesFix and document cloneWC
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-25  Simon Peyton JonesSet GenSigCtxt for the argument part of tcSubType
2018-07-25  Simon Peyton JonesBuild more implications
2018-07-24  Matthías Páll Giss... Clone relevant constraints to avoid side-effects on...
2018-07-24  Krzysztof GogolewskiRemove dead code in TcUnify
2018-07-24  Ryan ScottSuppress -Winaccessible-code in derived code
2018-07-23  Simon Peyton JonesStop marking soluble ~R# constraints as insoluble
2018-07-21  Matthías Páll Giss... Fix the TcLevel not being set correctly when finding...
2018-07-17  Sasa BogicevicCorrect spelling errors
2018-07-17  Sasa BogicevicFix spelling errors
2018-07-17  Sasa BogicevicFix a typo
2018-07-17  Sasa BogicevicFix a typo in related trac ticket number
2018-07-16  Simon MarlowFix space leaks
2018-07-15  Richard EisenbergDon't mkNakedCastTy on something unsaturated
2018-07-15  Richard EisenbergMove check for dcUserTyVarBinders invariant
2018-07-15  Richard EisenbergRemove ASSERTion about increasing TcLevels
2018-07-13  Simon Peyton JonesImprove comments about CUSKs
2018-07-13  Simon Peyton JonesRefactor floatEqualities slightly
2018-07-12  Matthew PickeringRun the renamed source plugin after each HsGroup
2018-07-12  Matthías Páll Giss... Add flag to show docs of valid hole fits
2018-07-11  Simon Peyton JonesBetter Note [The well-kinded type invariant]
2018-07-11  Richard EisenbergRemove bad debugging output.
2018-07-10  Richard EisenbergNote [Ordering of implicit variables]
2018-07-10  Richard EisenbergExpand and implement Note [The tcType invariant]
2018-07-10  Richard EisenbergKind-check CUSK associated types separately
2018-07-10  Richard EisenbergUnwrap casts before checking vars in eager unifier
2018-07-10  Simon Peyton JonesAdd nakedSubstTy and use it in TcHsType.tcInferApps
2018-07-10  Simon Peyton JonesMore tc-tracing
2018-07-10  Simon Peyton JonesFix decompsePiCos and visible type application
2018-07-10  Simon Peyton JonesMore refactoring in TcValidity
2018-07-10  ningningRefactor coercion rule
2018-07-05  Ryan ScottComment out a pprTrace
2018-07-05  Ryan ScottFix #15331 with careful blasts of parenthesizeHsType
2018-07-05  Ryan ScottInstantiate GND bindings with an explicit type signature
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-07-04  Simon Peyton JonesFix comment
2018-07-04  Simon Peyton JonesAdd comments on Typeable (n :: Nat)
2018-07-04  Matthías Páll Giss... Fix errors caused by invalid candidates leaking from...
2018-06-29  Gabor GreifA few typofixes in comments
2018-06-28  Richard EisenbergClarify role of coercion in flattening function
2018-06-26  Simon Peyton JonesRemove dead code
2018-06-26  Simon Peyton JonesA bit more tc-tracking in TcUnify.uUnfilledVar
2018-06-26  Simon Peyton JonesFix TcLevel manipulation in TcDerivInfer.simplifyDeriv
2018-06-25  Simon Peyton JonesComents and debug tracing only
2018-06-25  Simon Peyton JonesRefactor the kind-checking of tyvar binders
2018-06-25  Simon Peyton JonesImprove tc-tracing a bit
2018-06-25  Simon Peyton JonesFix error recovery for pattern synonyms
2018-06-22  Alan ZimmermanTTG for IPBind had wrong extension name
2018-06-22  Simon Peyton JonesMove a Note to the module that refers to it
2018-06-22  Simon Peyton JonesRemove unnecessary call to checkReductionDepth
2018-06-22  Simon Peyton JonesRefactor try_solve_fromInstance in shortCutSolver
2018-06-22  Simon Peyton JonesInstances in no-evidence implications
2018-06-21  Ryan ScottDrop redundant Note
2018-06-20  Ryan ScottRemove HsEqTy and XEqTy
2018-06-20  Gabor GreifA few more typofixes in docs/comments [ci skip]
2018-06-19  Richard EisenbergDocument and simplify tcInstTyBinders
2018-06-18  Richard EisenbergFix typo in comment only
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-18  Simon Peyton JonesFix typechecking of kind signatures
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-17  Ryan ScottProvide a better error message for unpromotable data...
next