diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-05-06 15:34:09 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-05-06 15:34:09 +0100 |
| commit | ee62a1b6847e42f76383b2e70003f2feb9e8435c (patch) | |
| tree | d48cd4f54e8897ddee9be41e4c43b9b3fa18880b | |
| parent | a10a21dadac041e928ad5dab3810b68ab35bc9bb (diff) | |
| download | haskell-ee62a1b6847e42f76383b2e70003f2feb9e8435c.tar.gz | |
Use eqSpecPreds
| -rw-r--r-- | compiler/typecheck/TcPat.lhs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs index 250122529b..c860bfe808 100644 --- a/compiler/typecheck/TcPat.lhs +++ b/compiler/typecheck/TcPat.lhs @@ -695,8 +695,7 @@ tcConPat penv (L con_span con_name) pat_ty arg_pats thing_inside else do -- The general case, with existential, -- and local equality constraints - { let eq_preds = [mkEqPred (mkTyVarTy tv, ty) | (tv, ty) <- eq_spec] - theta' = substTheta tenv (eq_preds ++ theta) + { let theta' = substTheta tenv (eqSpecPreds eq_spec ++ theta) -- order is *important* as we generate the list of -- dictionary binders from theta' no_equalities = not (any isEqPred theta') |