diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-05-13 22:48:03 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-05-13 22:48:17 +0200 |
| commit | 8f2e602cada9141b653802cf1084b9bdfd6e0d06 (patch) | |
| tree | c1351e9fcb0341af482f8da4a8859e2046445188 /testdata/typesyn.out | |
| parent | 8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff) | |
refactoring & fix build
Diffstat (limited to 'testdata/typesyn.out')
| -rw-r--r-- | testdata/typesyn.out | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/testdata/typesyn.out b/testdata/typesyn.out index 44858110..8462b1c6 100644 --- a/testdata/typesyn.out +++ b/testdata/typesyn.out | |||
| @@ -16,53 +16,53 @@ main = _lhs main (_rhs ((True :: B) && fst ((True, 'c') :: F Bool Char))) | |||
| 16 | main :: Bool | 16 | main :: Bool |
| 17 | main = _rhs True | 17 | main = _rhs True |
| 18 | ------------ tooltips | 18 | ------------ tooltips |
| 19 | typesyn.lc 3:6-3:7 | 19 | 3:6-3:7 |
| 20 | Type | 20 | Type |
| 21 | typesyn.lc 3:10-3:14 | 21 | 3:10-3:14 |
| 22 | Type | 22 | Type |
| 23 | typesyn.lc 5:6-5:7 | 23 | 5:6-5:7 |
| 24 | Type -> Type -> Type | 24 | Type -> Type -> Type |
| 25 | typesyn.lc 5:14-5:20 | 25 | 5:14-5:20 |
| 26 | Type | 26 | Type |
| 27 | typesyn.lc 5:15-5:16 | 27 | 5:15-5:16 |
| 28 | _e | 28 | _e |
| 29 | typesyn.lc 5:15-5:19 | 29 | 5:15-5:19 |
| 30 | [Type] | 30 | [Type] |
| 31 | typesyn.lc 5:18-5:19 | 31 | 5:18-5:19 |
| 32 | _c | [Type] | 32 | _c | [Type] |
| 33 | typesyn.lc 7:1-7:5 | 33 | 7:1-7:5 |
| 34 | Bool | 34 | Bool |
| 35 | typesyn.lc 7:8-7:22 | 35 | 7:8-7:22 |
| 36 | Bool -> Bool | 36 | Bool -> Bool |
| 37 | typesyn.lc 7:8-7:55 | 37 | 7:8-7:55 |
| 38 | Bool | 38 | Bool |
| 39 | typesyn.lc 7:9-7:13 | 39 | 7:9-7:13 |
| 40 | Bool | 40 | Bool |
| 41 | typesyn.lc 7:9-7:18 | 41 | 7:9-7:18 |
| 42 | B | 42 | B |
| 43 | typesyn.lc 7:17-7:18 | 43 | 7:17-7:18 |
| 44 | Type | 44 | Type |
| 45 | typesyn.lc 7:20-7:22 | 45 | 7:20-7:22 |
| 46 | Bool -> Bool -> Bool | 46 | Bool -> Bool -> Bool |
| 47 | typesyn.lc 7:23-7:26 | 47 | 7:23-7:26 |
| 48 | forall a b . (a, b) -> a | 48 | forall a b . (a, b) -> a |
| 49 | typesyn.lc 7:23-7:55 | 49 | 7:23-7:55 |
| 50 | Bool | 50 | Bool |
| 51 | typesyn.lc 7:28-7:39 | 51 | 7:28-7:39 |
| 52 | (Bool, Char) | 52 | (Bool, Char) |
| 53 | typesyn.lc 7:28-7:54 | 53 | 7:28-7:54 |
| 54 | F Bool Char | 54 | F Bool Char |
| 55 | typesyn.lc 7:29-7:33 | 55 | 7:29-7:33 |
| 56 | Bool | 56 | Bool |
| 57 | typesyn.lc 7:35-7:38 | 57 | 7:35-7:38 |
| 58 | Char | ((Char)) | 58 | Char | ((Char)) |
| 59 | typesyn.lc 7:43-7:44 | 59 | 7:43-7:44 |
| 60 | Type -> Type -> Type | 60 | Type -> Type -> Type |
| 61 | typesyn.lc 7:43-7:49 | 61 | 7:43-7:49 |
| 62 | Type -> Type | 62 | Type -> Type |
| 63 | typesyn.lc 7:43-7:54 | 63 | 7:43-7:54 |
| 64 | Type | 64 | Type |
| 65 | typesyn.lc 7:45-7:49 | 65 | 7:45-7:49 |
| 66 | Type | 66 | Type |
| 67 | typesyn.lc 7:50-7:54 | 67 | 7:50-7:54 |
| 68 | Type \ No newline at end of file | 68 | Type \ No newline at end of file |