diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 00:48:57 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 00:48:57 +0200 |
| commit | 4f17b186afdd0b076d3efc06fe844e1f547b805a (patch) | |
| tree | aff796c8a962dca4d3b2880a26195ad91cdc25cb /testdata/language-features/adt/gadt03.reject.out | |
| parent | eaa99d13de8f9638c82beaae646cd66f3c1f8d89 (diff) | |
better names for free variables
Diffstat (limited to 'testdata/language-features/adt/gadt03.reject.out')
| -rw-r--r-- | testdata/language-features/adt/gadt03.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/language-features/adt/gadt03.reject.out b/testdata/language-features/adt/gadt03.reject.out index 4da95c0b..86e6efc4 100644 --- a/testdata/language-features/adt/gadt03.reject.out +++ b/testdata/language-features/adt/gadt03.reject.out | |||
| @@ -13,7 +13,7 @@ testdata/language-features/adt/gadt03.reject.lc 2:15-2:19 Type | |||
| 13 | testdata/language-features/adt/gadt03.reject.lc 2:24-2:30 Type | 13 | testdata/language-features/adt/gadt03.reject.lc 2:24-2:30 Type |
| 14 | testdata/language-features/adt/gadt03.reject.lc 2:24-2:38 Type | 14 | testdata/language-features/adt/gadt03.reject.lc 2:24-2:38 Type |
| 15 | testdata/language-features/adt/gadt03.reject.lc 2:34-2:38 Type | 15 | testdata/language-features/adt/gadt03.reject.lc 2:34-2:38 Type |
| 16 | testdata/language-features/adt/gadt03.reject.lc 3:3-3:9 M2 V3 V0 | {a} -> a -> {b:String} -> M2 a b | 16 | testdata/language-features/adt/gadt03.reject.lc 3:3-3:9 M2 d_ a_ | {a} -> a -> {b:String} -> M2 a b |
| 17 | testdata/language-features/adt/gadt03.reject.lc 3:3-3:35 Type | 17 | testdata/language-features/adt/gadt03.reject.lc 3:3-3:35 Type |
| 18 | testdata/language-features/adt/gadt03.reject.lc 3:13-3:14 Type | 18 | testdata/language-features/adt/gadt03.reject.lc 3:13-3:14 Type |
| 19 | testdata/language-features/adt/gadt03.reject.lc 3:13-3:35 Type | 19 | testdata/language-features/adt/gadt03.reject.lc 3:13-3:35 Type |
| @@ -22,7 +22,7 @@ testdata/language-features/adt/gadt03.reject.lc 3:29-3:31 Type -> String->Type | |||
| 22 | testdata/language-features/adt/gadt03.reject.lc 3:29-3:33 String->Type | 22 | testdata/language-features/adt/gadt03.reject.lc 3:29-3:33 String->Type |
| 23 | testdata/language-features/adt/gadt03.reject.lc 3:29-3:35 Type | 23 | testdata/language-features/adt/gadt03.reject.lc 3:29-3:35 Type |
| 24 | testdata/language-features/adt/gadt03.reject.lc 3:32-3:33 Type | 24 | testdata/language-features/adt/gadt03.reject.lc 3:32-3:33 Type |
| 25 | testdata/language-features/adt/gadt03.reject.lc 3:34-3:35 String | V1 | 25 | testdata/language-features/adt/gadt03.reject.lc 3:34-3:35 String | b_ |
| 26 | testdata/language-features/adt/gadt03.reject.lc 5:6-5:8 Type -> String->Type | 26 | testdata/language-features/adt/gadt03.reject.lc 5:6-5:8 Type -> String->Type |
| 27 | testdata/language-features/adt/gadt03.reject.lc 5:15-5:19 Type | 27 | testdata/language-features/adt/gadt03.reject.lc 5:15-5:19 Type |
| 28 | testdata/language-features/adt/gadt03.reject.lc 5:24-5:30 Type | 28 | testdata/language-features/adt/gadt03.reject.lc 5:24-5:30 Type |