From 0acea3e60e03418dcc0fe6346d8115769a2b4c17 Mon Sep 17 00:00:00 2001 From: Péter Diviánszky Date: Sat, 13 Feb 2016 14:54:36 +0100 Subject: use different kinf of infos --- testdata/language-features/basic-list/list11.out | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testdata/language-features/basic-list/list11.out') 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 @@ main is not found -tooltips: +------------ tooltips testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {b : Num a} -> List a testdata/language-features/basic-list/list11.lc 1:9-1:10 V1 testdata/language-features/basic-list/list11.lc 1:9-1:11 List V1 -> List V2 -- cgit v1.2.3