diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-13 14:54:36 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-13 14:54:50 +0100 |
commit | 0acea3e60e03418dcc0fe6346d8115769a2b4c17 (patch) | |
tree | 556e9e10667bac81560d6e392a4aba55f600b614 /testdata/language-features/basic-list/list11.out | |
parent | a8ece97efac68c03b3eb9c9e962b8a9b1d994519 (diff) |
use different kinf of infos
Diffstat (limited to 'testdata/language-features/basic-list/list11.out')
-rw-r--r-- | testdata/language-features/basic-list/list11.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out index a5d9f3fb..a9ddb798 100644 --- a/testdata/language-features/basic-list/list11.out +++ b/testdata/language-features/basic-list/list11.out | |||
@@ -1,5 +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:1-1:6 {a} -> {b : Num a} -> List a | 3 | testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {b : Num a} -> List a |
4 | testdata/language-features/basic-list/list11.lc 1:9-1:10 V1 | 4 | testdata/language-features/basic-list/list11.lc 1:9-1:10 V1 |
5 | testdata/language-features/basic-list/list11.lc 1:9-1:11 List V1 -> List V2 | 5 | testdata/language-features/basic-list/list11.lc 1:9-1:11 List V1 -> List V2 |