diff options
Diffstat (limited to 'testsuite/tests/gadt/T7205.hs')
| -rw-r--r-- | testsuite/tests/gadt/T7205.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/gadt/T7205.hs b/testsuite/tests/gadt/T7205.hs index e8c555972f..e6f0eb25b3 100644 --- a/testsuite/tests/gadt/T7205.hs +++ b/testsuite/tests/gadt/T7205.hs @@ -7,9 +7,9 @@ data Abs env g v where class Eval g env h v where eval :: env -> g env h v -> v -evalAbs :: Eval g2 (a2, env) h2 v2 - => env - -> Abs env (g2 (a2, env) h2 v2) (a2->v2) - -> (a2->v2) -evalAbs env (Abs e) x +evalAbs :: Eval g2 (a2, env) h2 v2 + => env + -> Abs env (g2 (a2, env) h2 v2) (a2->v2) + -> (a2->v2) +evalAbs env (Abs e) x = eval (x, env) e -- e :: g (a,env) h v |