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/typesig.reject.out | |
| parent | 8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff) | |
refactoring & fix build
Diffstat (limited to 'testdata/typesig.reject.out')
| -rw-r--r-- | testdata/typesig.reject.out | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 14c6d5eb..4b742a17 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | can't find: x in typesig.reject.lc:6:6: | 1 | can't find: x in ./testdata/typesig.reject.lc:6:6: |
| 2 | x :: x | 2 | x :: x |
| 3 | ^ | 3 | ^ |
| 4 | ------------ trace | 4 | ------------ trace |
| @@ -6,13 +6,13 @@ x :: x | |||
| 6 | X :: X | 6 | X :: X |
| 7 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b | 7 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b |
| 8 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b | 8 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b |
| 9 | !can't find: x in typesig.reject.lc:6:6: | 9 | !can't find: x in ./testdata/typesig.reject.lc:6:6: |
| 10 | x :: x | 10 | x :: x |
| 11 | ^ | 11 | ^ |
| 12 | ------------ tooltips | 12 | ------------ tooltips |
| 13 | typesig.reject.lc 4:6-4:7 | 13 | 4:6-4:7 |
| 14 | Type | Type | Type | Type | Type | 14 | Type | Type | Type | Type | Type |
| 15 | typesig.reject.lc 4:6-4:11 | 15 | 4:6-4:11 |
| 16 | Type | 16 | Type |
| 17 | typesig.reject.lc 4:10-4:11 | 17 | 4:10-4:11 |
| 18 | X \ No newline at end of file | 18 | X \ No newline at end of file |