new test

5 files changed, 49 insertions, 0 deletions

diff --git a/testdata/language-features/basic-values/typesig07.lc b/testdata/language-features/basic-values/typesig07.lc
new file mode 100644
index 00000000..fd175335
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig07.lc
@@ -0,0 +1,13 @@
+value1, value2, value3 :: Int
+
+value1 = 1
+value2 = 2
+value3 = 3
+
+value4, (@@@),
+ value6 :: () -> () -> ()
+
+value4 _ _ = ()
+_ @@@ _ = ()
+value6 _ _ = ()
+
diff --git a/testdata/language-features/basic-values/typesig07.out b/testdata/language-features/basic-values/typesig07.out
new file mode 100644
index 00000000..018cbdae
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig07.out
@@ -0,0 +1,19 @@
+main is not found
+tooltips:
+testdata/language-features/basic-values/typesig07.lc 1:27-1:30  Type
+testdata/language-features/basic-values/typesig07.lc 3:1-3:7  'Int
+testdata/language-features/basic-values/typesig07.lc 3:10-3:11  V1
+testdata/language-features/basic-values/typesig07.lc 4:1-4:7  'Int
+testdata/language-features/basic-values/typesig07.lc 4:10-4:11  V1
+testdata/language-features/basic-values/typesig07.lc 5:1-5:7  'Int
+testdata/language-features/basic-values/typesig07.lc 5:10-5:11  V1
+testdata/language-features/basic-values/typesig07.lc 8:12-8:14  Type
+testdata/language-features/basic-values/typesig07.lc 8:18-8:20  Type
+testdata/language-features/basic-values/typesig07.lc 8:18-8:26  Type
+testdata/language-features/basic-values/typesig07.lc 8:24-8:26  Type
+testdata/language-features/basic-values/typesig07.lc 10:1-10:7  'Tuple0 -> 'Tuple0->'Tuple0
+testdata/language-features/basic-values/typesig07.lc 10:14-10:16  'Tuple0 | 'Tuple0 -> 'Tuple0->'Tuple0 | 'Tuple0->'Tuple0
+testdata/language-features/basic-values/typesig07.lc 11:3-11:6  'Tuple0 -> 'Tuple0->'Tuple0
+testdata/language-features/basic-values/typesig07.lc 11:11-11:13  'Tuple0 | 'Tuple0 -> 'Tuple0->'Tuple0 | 'Tuple0->'Tuple0
+testdata/language-features/basic-values/typesig07.lc 12:1-12:7  'Tuple0 -> 'Tuple0->'Tuple0
+testdata/language-features/basic-values/typesig07.lc 12:14-12:16  'Tuple0 | 'Tuple0 -> 'Tuple0->'Tuple0 | 'Tuple0->'Tuple0
diff --git a/testdata/language-features/basic-values/typesig08.reject.wip.lc b/testdata/language-features/basic-values/typesig08.reject.wip.lc
new file mode 100644
index 00000000..1be41d4c
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig08.reject.wip.lc
@@ -0,0 +1,7 @@
+value4, value5,
+value6 :: ()
+
+value4 = ()
+value5 = ()
+value6 = ()
+
diff --git a/testdata/language-features/basic-values/typesig09.reject.lc b/testdata/language-features/basic-values/typesig09.reject.lc
new file mode 100644
index 00000000..e40fe7c1
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig09.reject.lc
@@ -0,0 +1,7 @@
+value4, @@@,
+ value6 :: () -> () -> ()
+
+value4 _ _ = ()
+_ @@@ _ = ()
+value6 _ _ = ()
+
diff --git a/testdata/language-features/basic-values/typesig09.reject.out b/testdata/language-features/basic-values/typesig09.reject.out
new file mode 100644
index 00000000..3274570a
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig09.reject.out
@@ -0,0 +1,3 @@
+"testdata/language-features/basic-values/typesig09.reject.lc" (line 1, column 9):
+unexpected "@"
+expecting typed ident
\ No newline at end of file