diff options
Diffstat (limited to 'testdata/language-features/adt/adt03.reject.out')
| -rw-r--r-- | testdata/language-features/adt/adt03.reject.out | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/testdata/language-features/adt/adt03.reject.out b/testdata/language-features/adt/adt03.reject.out index cd56212b..1c9583cc 100644 --- a/testdata/language-features/adt/adt03.reject.out +++ b/testdata/language-features/adt/adt03.reject.out | |||
| @@ -1,3 +1,10 @@ | |||
| 1 | can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20: | 1 | can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20: |
| 2 | data Data3 = Data3 a b c | 2 | data Data3 = Data3 a b c |
| 3 | ^ \ No newline at end of file | 3 | ^ |
| 4 | ------------ trace | ||
| 5 | 'Data3 :: [32mType[39m[K | ||
| 6 | infer: [47ma -> b -> c->'Data3[49m : [32mType[39m[K | ||
| 7 | infer: [47ma[49m:[32mType[39m -> (b -> c->'Data3 : 'Type) : [32mType[39m[K | ||
| 8 | !can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20 | ||
| 9 | ------------ tooltips | ||
| 10 | testdata/language-features/adt/adt03.reject.lc 2:6-2:11 Type | ||