summaryrefslogtreecommitdiff
path: root/testdata/language-features/guard
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-13 14:54:36 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-13 14:54:50 +0100
commit0acea3e60e03418dcc0fe6346d8115769a2b4c17 (patch)
tree556e9e10667bac81560d6e392a4aba55f600b614 /testdata/language-features/guard
parenta8ece97efac68c03b3eb9c9e962b8a9b1d994519 (diff)
use different kinf of infos
Diffstat (limited to 'testdata/language-features/guard')
-rw-r--r--testdata/language-features/guard/guard01.out2
-rw-r--r--testdata/language-features/guard/guard03.out2
-rw-r--r--testdata/language-features/guard/guard04.out2
-rw-r--r--testdata/language-features/guard/guard06.out2
-rw-r--r--testdata/language-features/guard/guard07.out2
-rw-r--r--testdata/language-features/guard/guard08.out2
-rw-r--r--testdata/language-features/guard/guard09.out2
-rw-r--r--testdata/language-features/guard/guard11.out2
-rw-r--r--testdata/language-features/guard/guard13.out2
-rw-r--r--testdata/language-features/guard/guard14.out2
-rw-r--r--testdata/language-features/guard/guard15.out2
-rw-r--r--testdata/language-features/guard/guard16.out2
12 files changed, 12 insertions, 12 deletions
diff --git a/testdata/language-features/guard/guard01.out b/testdata/language-features/guard/guard01.out
index 6ce8e8a4..836af983 100644
--- a/testdata/language-features/guard/guard01.out
+++ b/testdata/language-features/guard/guard01.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard01.lc 1:1-1:6 Tuple0 3testdata/language-features/guard/guard01.lc 1:1-1:6 Tuple0
4testdata/language-features/guard/guard01.lc 1:9-1:13 Bool 4testdata/language-features/guard/guard01.lc 1:9-1:13 Bool
5testdata/language-features/guard/guard01.lc 1:9-1:18 Tuple0 5testdata/language-features/guard/guard01.lc 1:9-1:18 Tuple0
diff --git a/testdata/language-features/guard/guard03.out b/testdata/language-features/guard/guard03.out
index c9d105da..a089657e 100644
--- a/testdata/language-features/guard/guard03.out
+++ b/testdata/language-features/guard/guard03.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard03.lc 1:1-1:6 String 3testdata/language-features/guard/guard03.lc 1:1-1:6 String
4testdata/language-features/guard/guard03.lc 2:5-2:9 Bool 4testdata/language-features/guard/guard03.lc 2:5-2:9 Bool
5testdata/language-features/guard/guard03.lc 2:5-3:20 String 5testdata/language-features/guard/guard03.lc 2:5-3:20 String
diff --git a/testdata/language-features/guard/guard04.out b/testdata/language-features/guard/guard04.out
index 414823fc..32a56e10 100644
--- a/testdata/language-features/guard/guard04.out
+++ b/testdata/language-features/guard/guard04.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard04.lc 1:1-1:6 String 3testdata/language-features/guard/guard04.lc 1:1-1:6 String
4testdata/language-features/guard/guard04.lc 2:5-2:9 Bool 4testdata/language-features/guard/guard04.lc 2:5-2:9 Bool
5testdata/language-features/guard/guard04.lc 2:5-3:24 String 5testdata/language-features/guard/guard04.lc 2:5-3:24 String
diff --git a/testdata/language-features/guard/guard06.out b/testdata/language-features/guard/guard06.out
index 0e2b806f..e5d34851 100644
--- a/testdata/language-features/guard/guard06.out
+++ b/testdata/language-features/guard/guard06.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard06.lc 1:1-1:6 Tuple0 3testdata/language-features/guard/guard06.lc 1:1-1:6 Tuple0
4testdata/language-features/guard/guard06.lc 1:9-1:18 Bool 4testdata/language-features/guard/guard06.lc 1:9-1:18 Bool
5testdata/language-features/guard/guard06.lc 1:9-1:23 Tuple0 5testdata/language-features/guard/guard06.lc 1:9-1:23 Tuple0
diff --git a/testdata/language-features/guard/guard07.out b/testdata/language-features/guard/guard07.out
index b0a29580..49ff4d32 100644
--- a/testdata/language-features/guard/guard07.out
+++ b/testdata/language-features/guard/guard07.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard07.lc 1:1-1:6 String 3testdata/language-features/guard/guard07.lc 1:1-1:6 String
4testdata/language-features/guard/guard07.lc 1:7-1:11 Bool 4testdata/language-features/guard/guard07.lc 1:7-1:11 Bool
5testdata/language-features/guard/guard07.lc 1:7-2:20 String 5testdata/language-features/guard/guard07.lc 1:7-2:20 String
diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out
index 6bcf1ead..28455f56 100644
--- a/testdata/language-features/guard/guard08.out
+++ b/testdata/language-features/guard/guard08.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard08.lc 1:1-1:6 String 3testdata/language-features/guard/guard08.lc 1:1-1:6 String
4testdata/language-features/guard/guard08.lc 1:7-1:11 Bool 4testdata/language-features/guard/guard08.lc 1:7-1:11 Bool
5testdata/language-features/guard/guard08.lc 1:7-1:32 String 5testdata/language-features/guard/guard08.lc 1:7-1:32 String
diff --git a/testdata/language-features/guard/guard09.out b/testdata/language-features/guard/guard09.out
index 806d264d..3d5a4e4c 100644
--- a/testdata/language-features/guard/guard09.out
+++ b/testdata/language-features/guard/guard09.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard09.lc 1:1-1:6 String 3testdata/language-features/guard/guard09.lc 1:1-1:6 String
4testdata/language-features/guard/guard09.lc 1:7-1:11 Bool 4testdata/language-features/guard/guard09.lc 1:7-1:11 Bool
5testdata/language-features/guard/guard09.lc 1:7-2:16 String 5testdata/language-features/guard/guard09.lc 1:7-2:16 String
diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out
index 02e7807e..f41b910b 100644
--- a/testdata/language-features/guard/guard11.out
+++ b/testdata/language-features/guard/guard11.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String 3testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String
4testdata/language-features/guard/guard11.lc 2:5-2:6 V1 4testdata/language-features/guard/guard11.lc 2:5-2:6 V1
5testdata/language-features/guard/guard11.lc 2:5-3:24 String 5testdata/language-features/guard/guard11.lc 2:5-3:24 String
diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out
index c9f6cf48..a7ed9d91 100644
--- a/testdata/language-features/guard/guard13.out
+++ b/testdata/language-features/guard/guard13.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->Tuple0 3testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->Tuple0
4testdata/language-features/guard/guard13.lc 1:7-1:8 V1 4testdata/language-features/guard/guard13.lc 1:7-1:8 V1
5testdata/language-features/guard/guard13.lc 1:7-1:24 Tuple0 5testdata/language-features/guard/guard13.lc 1:7-1:24 Tuple0
diff --git a/testdata/language-features/guard/guard14.out b/testdata/language-features/guard/guard14.out
index 7f115381..54db63f5 100644
--- a/testdata/language-features/guard/guard14.out
+++ b/testdata/language-features/guard/guard14.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard14.lc 1:1-1:6 Tuple0 3testdata/language-features/guard/guard14.lc 1:1-1:6 Tuple0
4testdata/language-features/guard/guard14.lc 1:17-1:21 Bool 4testdata/language-features/guard/guard14.lc 1:17-1:21 Bool
5testdata/language-features/guard/guard14.lc 1:17-2:31 Tuple0 5testdata/language-features/guard/guard14.lc 1:17-2:31 Tuple0
diff --git a/testdata/language-features/guard/guard15.out b/testdata/language-features/guard/guard15.out
index 21c9ea22..4e9c4936 100644
--- a/testdata/language-features/guard/guard15.out
+++ b/testdata/language-features/guard/guard15.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard15.lc 1:1-1:6 Tuple0 3testdata/language-features/guard/guard15.lc 1:1-1:6 Tuple0
4testdata/language-features/guard/guard15.lc 1:9-1:11 Tuple0 4testdata/language-features/guard/guard15.lc 1:9-1:11 Tuple0
5testdata/language-features/guard/guard15.lc 2:13-2:17 Bool 5testdata/language-features/guard/guard15.lc 2:13-2:17 Bool
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out
index 1912e426..92a1d76f 100644
--- a/testdata/language-features/guard/guard16.out
+++ b/testdata/language-features/guard/guard16.out
@@ -1,5 +1,5 @@
1main is not found 1main is not found
2tooltips: 2------------ tooltips
3testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {b : Eq a} -> {c : Num a}->Tuple0 3testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {b : Eq a} -> {c : Num a}->Tuple0
4testdata/language-features/guard/guard16.lc 1:9-3:10 Tuple0 4testdata/language-features/guard/guard16.lc 1:9-3:10 Tuple0
5testdata/language-features/guard/guard16.lc 1:14-1:15 V1 5testdata/language-features/guard/guard16.lc 1:14-1:15 V1