diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/ContextStack2.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/ContextStack2.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/ContextStack2.hs b/testsuite/tests/typecheck/should_fail/ContextStack2.hs index 53634a5cd5..0e01ab6956 100644 --- a/testsuite/tests/typecheck/should_fail/ContextStack2.hs +++ b/testsuite/tests/typecheck/should_fail/ContextStack2.hs @@ -12,11 +12,11 @@ type instance TF (a,b) = (TF a, TF b) t :: (a ~ TF (a,Int)) => Int t = undefined -{- a ~ TF (a,Int) +{- a ~ TF (a,Int) ~ (TF a, TF Int) ~ (TF (TF (a,Int)), TF Int) ~ (TF (TF a, TF Int), TF Int) - ~ ((TF (TF a), TF (TF Int)), TF Int) + ~ ((TF (TF a), TF (TF Int)), TF Int) fsk ~ a @@ -28,7 +28,7 @@ t = undefined a ~ (TF a, TF Int) (flatten rhs) a ~ (fsk1, TF Int) -(wk) TF a ~ fsk1 +(wk) TF a ~ fsk1 --> (rewrite inert) @@ -43,7 +43,7 @@ t = undefined * TF (fsk1, fsk2) ~ fsk1 (wk) TF Tnt ~ fsk2 ---> +--> fsk ~ (fsk1, TF Int) a ~ (fsk1, TF Int) @@ -51,7 +51,7 @@ t = undefined (flatten rhs) fsk1 ~ (fsk3, TF fsk2) - + (wk) TF Int ~ fsk2 TF fsk1 ~ fsk3 -} |