diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-18 22:44:19 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-06-20 16:22:07 +0200 |
| commit | 915e07c33b143126e3c8de1d2ec22ccc709a9a24 (patch) | |
| tree | fcde0a7ffc1466b6e53dbee6df835af07e9a7ecc /testsuite/tests/gadt/T7205.hs | |
| parent | 46ff80f26d1892e1b50e3f10c5d3fded33da6e81 (diff) | |
| download | haskell-915e07c33b143126e3c8de1d2ec22ccc709a9a24.tar.gz | |
Testsuite: tabs -> spaces [skip ci]
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 |