diff options
Diffstat (limited to 'testdata/language-features/basic-list/list11.out')
-rw-r--r-- | testdata/language-features/basic-list/list11.out | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out index 7736ade0..0f6c53b9 100644 --- a/testdata/language-features/basic-list/list11.out +++ b/testdata/language-features/basic-list/list11.out | |||
@@ -2,4 +2,5 @@ main is not found | |||
2 | tooltips: | 2 | tooltips: |
3 | testdata/language-features/basic-list/list11.lc 1:10-1:11 {a} -> a -> 'List a -> 'List a | 3 | testdata/language-features/basic-list/list11.lc 1:10-1:11 {a} -> a -> 'List a -> 'List a |
4 | testdata/language-features/basic-list/list11.lc 1:9-1:10 V0 | 4 | testdata/language-features/basic-list/list11.lc 1:9-1:10 V0 |
5 | testdata/language-features/basic-list/list11.lc 1:9-1:10 'Int | 5 | testdata/language-features/basic-list/list11.lc 1:11-1:13 'List V1 |
6 | testdata/language-features/basic-list/list11.lc 1:11-1:13 {a} -> 'List a | ||