diff options
Diffstat (limited to 'testdata/language-features/basic-list/list11.out')
-rw-r--r-- | testdata/language-features/basic-list/list11.out | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out index 31fbcae7..7736ade0 100644 --- a/testdata/language-features/basic-list/list11.out +++ b/testdata/language-features/basic-list/list11.out | |||
@@ -1,4 +1,5 @@ | |||
1 | main is not found | 1 | 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:9-1:10 V0 | 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 'Int | 5 | testdata/language-features/basic-list/list11.lc 1:9-1:10 'Int |