diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-09-26 14:42:40 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-09-26 14:42:40 +0100 |
| commit | 2e4f36425320f21ebc6039790034df20f2d470f9 (patch) | |
| tree | 26a0774f71244ba37e9e472ee0beb34279c8f129 | |
| parent | 068689703546a5a1b8c300d0307a12d342313707 (diff) | |
| download | haskell-2e4f36425320f21ebc6039790034df20f2d470f9.tar.gz | |
Comments
| -rw-r--r-- | compiler/typecheck/TcSimplify.lhs | 1 | ||||
| -rw-r--r-- | compiler/typecheck/TcUnify.lhs | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs index ceb517d74a..d8347635be 100644 --- a/compiler/typecheck/TcSimplify.lhs +++ b/compiler/typecheck/TcSimplify.lhs @@ -364,6 +364,7 @@ simplifyInfer _top_lvl apply_mr name_taus wanteds else do { -- Step 7) Emit an implication + -- See Trac #9633 for an instructive example let minimal_flat_preds = mkMinimalBySCs bound -- See Note [Minimize by Superclasses] skol_info = InferSkol [ (name, mkSigmaTy [] minimal_flat_preds ty) diff --git a/compiler/typecheck/TcUnify.lhs b/compiler/typecheck/TcUnify.lhs index b66f06b91b..389c4a3142 100644 --- a/compiler/typecheck/TcUnify.lhs +++ b/compiler/typecheck/TcUnify.lhs @@ -1071,9 +1071,9 @@ We must use the careful function lookupTcTyVar to see if a kind variable is filled or unifiable. It checks for touchablity, and kind variables can certainly be untouchable --- for example the variable might be bound outside an enclosing existental pattern match that -binds an inner kind variable, which we don't want ot escape outside. +binds an inner kind variable, which we don't want to escape outside. -This, or something closely related, was teh cause of Trac #8985. +This, or something closely related, was the cause of Trac #8985. Note [Unifying kind variables] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |