diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-02-18 10:48:29 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-18 11:05:08 +0100 |
| commit | fce14b4a6a908a460854b86d40edd5b45cd1e45f (patch) | |
| tree | 2f6f79f90b55be944112f90af6985f0379deca90 /testdata/typeclass.out | |
| parent | 5f7bbe131b0645a74a0389172ab302e2b25ea9c7 (diff) | |
refactoring
Diffstat (limited to 'testdata/typeclass.out')
| -rw-r--r-- | testdata/typeclass.out | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testdata/typeclass.out b/testdata/typeclass.out index 5f036c40..84ba69fe 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out | |||
| @@ -43,10 +43,10 @@ testdata/typeclass.lc 20:17-20:19 {a} -> {b : Eq a} -> a -> a->Bool | |||
| 43 | testdata/typeclass.lc 20:20-20:21 V2 | 43 | testdata/typeclass.lc 20:20-20:21 V2 |
| 44 | testdata/typeclass.lc 22:13-22:17 Type | Type->Type | 44 | testdata/typeclass.lc 22:13-22:17 Type | Type->Type |
| 45 | testdata/typeclass.lc 22:13-24:23 (V1 -> V2->Bool) -> V2 -> V3->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool | 45 | testdata/typeclass.lc 22:13-24:23 (V1 -> V2->Bool) -> V2 -> V3->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool |
| 46 | testdata/typeclass.lc 23:5-23:9 Bool | 46 | testdata/typeclass.lc 23:5-23:9 V2 |
| 47 | testdata/typeclass.lc 23:5-24:23 Bool | Bool -> Bool->Bool | Bool->Bool | 47 | testdata/typeclass.lc 23:5-24:23 Bool |
| 48 | testdata/typeclass.lc 23:17-23:18 Bool | 48 | testdata/typeclass.lc 23:17-23:18 Bool |
| 49 | testdata/typeclass.lc 23:17-24:23 Bool->Bool | 49 | testdata/typeclass.lc 23:17-24:23 Bool->Bool |
| 50 | testdata/typeclass.lc 24:18-24:21 Bool->Bool | 50 | testdata/typeclass.lc 24:18-24:21 Bool->Bool |
| 51 | testdata/typeclass.lc 24:18-24:23 Bool | 51 | testdata/typeclass.lc 24:18-24:23 Bool |
| 52 | testdata/typeclass.lc 24:22-24:23 Bool | 52 | testdata/typeclass.lc 24:22-24:23 V1 |