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/traceTest.out | |
| parent | 8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff) | |
refactoring & fix build
Diffstat (limited to 'testdata/traceTest.out')
| -rw-r--r-- | testdata/traceTest.out | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/testdata/traceTest.out b/testdata/traceTest.out index 18c05371..24804801 100644 --- a/testdata/traceTest.out +++ b/testdata/traceTest.out | |||
| @@ -25,29 +25,29 @@ match'X = \a b c d -> <<type case function>> | |||
| 25 | x :: X (Type -> Type -> Type) \a b -> (a, b) | 25 | x :: X (Type -> Type -> Type) \a b -> (a, b) |
| 26 | x = _rhs (undefined ('X (Type -> Type -> Type) \a b -> ' (a, b))) | 26 | x = _rhs (undefined ('X (Type -> Type -> Type) \a b -> ' (a, b))) |
| 27 | ------------ tooltips | 27 | ------------ tooltips |
| 28 | traceTest.lc 6:1-6:3 | 28 | 6:1-6:3 |
| 29 | forall a . a -> a | 29 | forall a . a -> a |
| 30 | traceTest.lc 6:8-6:9 | 30 | 6:8-6:9 |
| 31 | _b | 31 | _b |
| 32 | traceTest.lc 8:6-8:7 | 32 | 8:6-8:7 |
| 33 | forall a . a -> Type | forall a . a -> Type | forall a . a -> Type | Type | Type | 33 | forall a . a -> Type | forall a . a -> Type | forall a . a -> Type | Type | Type |
| 34 | traceTest.lc 8:6-8:18 | 34 | 8:6-8:18 |
| 35 | Type | 35 | Type |
| 36 | traceTest.lc 8:17-8:18 | 36 | 8:17-8:18 |
| 37 | Type | Type | Type | 37 | Type | Type | Type |
| 38 | traceTest.lc 10:6-10:7 | 38 | 10:6-10:7 |
| 39 | forall a . a -> Type | 39 | forall a . a -> Type |
| 40 | traceTest.lc 10:6-10:25 | 40 | 10:6-10:25 |
| 41 | Type | 41 | Type |
| 42 | traceTest.lc 10:17-10:24 | 42 | 10:17-10:24 |
| 43 | Type | 43 | Type |
| 44 | traceTest.lc 10:19-10:20 | 44 | 10:19-10:20 |
| 45 | _e | 45 | _e |
| 46 | traceTest.lc 10:19-10:23 | 46 | 10:19-10:23 |
| 47 | [Type] | 47 | [Type] |
| 48 | traceTest.lc 10:22-10:23 | 48 | 10:22-10:23 |
| 49 | _c | [Type] | 49 | _c | [Type] |
| 50 | traceTest.lc 11:1-11:2 | 50 | 11:1-11:2 |
| 51 | X (Type -> Type -> Type) \a b -> (a, b) | 51 | X (Type -> Type -> Type) \a b -> (a, b) |
| 52 | traceTest.lc 11:5-11:14 | 52 | 11:5-11:14 |
| 53 | forall a . a \ No newline at end of file | 53 | forall a . a \ No newline at end of file |