add new tests

66 files changed, 311 insertions, 8 deletions

diff --git a/testdata/language-features/HINT b/testdata/language-features/HINT
index 69d865b4..35fcec5f 100644
--- a/testdata/language-features/HINT
+++ b/testdata/language-features/HINT
@@ -28,20 +28,24 @@ language features:
     done - let in
     done - if then else
     done - lambda expression
-    case of
+    done - case of
+    type signature - global, local, forall, hidden parameters, type parameters, wildcard, context
+    patterns
+    guards - in expressions
+    list comprehension
+    operators
     where - in value, in expressions
 
+    definition order
+    recursion
+    mutual recursion - vary def order, vary on def placing (insert other code between mutual rec functions"
+
     data GADT and ADT
-    type signature - global, local
     parenthesis - nested
-    operators
     fixity
     `infix` notation 
-    patterns
     widcards - in pattern, in type
     @ patterns
-    guards
-    list comprehension
     builtins
     records
     swizzling
@@ -49,5 +53,13 @@ language features:
     type synonyms
     @ type parameters
 
-  module name where -- with and without export list, including exporing itself and other imported modules
-  import - hiding list, import list, qualified import, qualified import as, import as
\ No newline at end of file
+  module name where
+    done - with and without export list
+    including exporing itself and other imported modules
+
+  import
+    done - hiding list
+    done - import list
+    qualified import
+    qualified import as
+    import as
diff --git a/testdata/language-features/basic-values/case03.reject.lc b/testdata/language-features/basic-values/case03.reject.lc
new file mode 100644
index 00000000..903f3551
--- /dev/null
+++ b/testdata/language-features/basic-values/case03.reject.lc
@@ -0,0 +1,3 @@
+value1 = case () of
+  1 -> ()
+  _ -> ()
diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out
new file mode 100644
index 00000000..ebe786da
--- /dev/null
+++ b/testdata/language-features/basic-values/case03.reject.out
@@ -0,0 +1,8 @@
+type error: can not unify
+'Int
+with
+'Tuple0
+
+in "testdata/language-features/basic-values/case03.reject.lc" (line 1, column 15):
+value1 = case () of
+              ^^
diff --git a/testdata/language-features/basic-values/case04.reject.lc b/testdata/language-features/basic-values/case04.reject.lc
new file mode 100644
index 00000000..4b1571ac
--- /dev/null
+++ b/testdata/language-features/basic-values/case04.reject.lc
@@ -0,0 +1,3 @@
+value1 = case 1 of
+  1 -> '1'
+  _ -> ()
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out
new file mode 100644
index 00000000..a805eef9
--- /dev/null
+++ b/testdata/language-features/basic-values/case04.reject.out
@@ -0,0 +1,8 @@
+type error: can not unify
+'Tuple0
+with
+'Char
+
+in "testdata/language-features/basic-values/case04.reject.lc" (line 2, column 8):
+  1 -> '1'
+       ^^^
diff --git a/testdata/language-features/basic-values/case05.lc b/testdata/language-features/basic-values/case05.lc
new file mode 100644
index 00000000..089d1e1c
--- /dev/null
+++ b/testdata/language-features/basic-values/case05.lc
@@ -0,0 +1,2 @@
+value x = case x of
+  1 -> '1'
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out
new file mode 100644
index 00000000..d9414dfb
--- /dev/null
+++ b/testdata/language-features/basic-values/case05.out
@@ -0,0 +1,6 @@
+main is not found
+tooltips:
+testdata/language-features/basic-values/case05.lc 2:8-2:11  V0
+testdata/language-features/basic-values/case05.lc 2:8-2:11  'Char
+testdata/language-features/basic-values/case05.lc 2:3-2:4  'Ordering
+testdata/language-features/basic-values/case05.lc 2:3-2:4  'Int
diff --git a/testdata/language-features/basic-values/case06.lc b/testdata/language-features/basic-values/case06.lc
new file mode 100644
index 00000000..8b946646
--- /dev/null
+++ b/testdata/language-features/basic-values/case06.lc
@@ -0,0 +1,3 @@
+value x = case x of
+  1 -> '1'
+  _ -> '_'
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out
new file mode 100644
index 00000000..23ab9c12
--- /dev/null
+++ b/testdata/language-features/basic-values/case06.out
@@ -0,0 +1,7 @@
+main is not found
+tooltips:
+testdata/language-features/basic-values/case06.lc 3:8-3:11  V0
+testdata/language-features/basic-values/case06.lc 3:8-3:11  'Char
+testdata/language-features/basic-values/case06.lc 2:8-2:11  'Char
+testdata/language-features/basic-values/case06.lc 2:3-2:4  'Ordering
+testdata/language-features/basic-values/case06.lc 2:3-2:4  'Int
diff --git a/testdata/language-features/basic-values/deforder01.lc b/testdata/language-features/basic-values/deforder01.lc
new file mode 100644
index 00000000..3e845e26
--- /dev/null
+++ b/testdata/language-features/basic-values/deforder01.lc
@@ -0,0 +1,2 @@
+x = '1'
+y = x
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder01.out b/testdata/language-features/basic-values/deforder01.out
new file mode 100644
index 00000000..f48f05e7
--- /dev/null
+++ b/testdata/language-features/basic-values/deforder01.out
@@ -0,0 +1,5 @@
+main is not found
+tooltips:
+testdata/language-features/basic-values/deforder01.lc 1:5-1:8  'Char
+testdata/language-features/basic-values/deforder01.lc 2:5-2:6  'Char
+testdata/language-features/basic-values/deforder01.lc 2:1-2:2  'Char
diff --git a/testdata/language-features/basic-values/deforder02.wip.lc b/testdata/language-features/basic-values/deforder02.wip.lc
new file mode 100644
index 00000000..b0c93d04
--- /dev/null
+++ b/testdata/language-features/basic-values/deforder02.wip.lc
@@ -0,0 +1,2 @@
+y = x
+x = '1'
diff --git a/testdata/language-features/basic-values/deforder03.lc b/testdata/language-features/basic-values/deforder03.lc
new file mode 100644
index 00000000..c72c903a
--- /dev/null
+++ b/testdata/language-features/basic-values/deforder03.lc
@@ -0,0 +1,3 @@
+value = let x = ()
+            y = x
+        in '1'
diff --git a/testdata/language-features/basic-values/deforder03.out b/testdata/language-features/basic-values/deforder03.out
new file mode 100644
index 00000000..f13b51ff
--- /dev/null
+++ b/testdata/language-features/basic-values/deforder03.out
@@ -0,0 +1,5 @@
+main is not found
+tooltips:
+testdata/language-features/basic-values/deforder03.lc 1:17-1:19  'Tuple0
+testdata/language-features/basic-values/deforder03.lc 2:17-3:15  'Tuple0
+testdata/language-features/basic-values/deforder03.lc 3:12-3:15  'Char
diff --git a/testdata/language-features/basic-values/deforder04.wip.lc b/testdata/language-features/basic-values/deforder04.wip.lc
new file mode 100644
index 00000000..962ebd10
--- /dev/null
+++ b/testdata/language-features/basic-values/deforder04.wip.lc
@@ -0,0 +1,3 @@
+value = let y = x
+            x = ()
+        in '1'
diff --git a/testdata/language-features/basic-values/deforder05.wip.lc b/testdata/language-features/basic-values/deforder05.wip.lc
new file mode 100644
index 00000000..047c2cdc
--- /dev/null
+++ b/testdata/language-features/basic-values/deforder05.wip.lc
@@ -0,0 +1,2 @@
+value = '1' where y = x
+                  x = ()
diff --git a/testdata/language-features/basic-values/deforder06.lc b/testdata/language-features/basic-values/deforder06.lc
new file mode 100644
index 00000000..fed4bdce
--- /dev/null
+++ b/testdata/language-features/basic-values/deforder06.lc
@@ -0,0 +1,2 @@
+value = '1' where x = ()
+                  y = x
diff --git a/testdata/language-features/basic-values/deforder06.out b/testdata/language-features/basic-values/deforder06.out
new file mode 100644
index 00000000..3570e85e
--- /dev/null
+++ b/testdata/language-features/basic-values/deforder06.out
@@ -0,0 +1,5 @@
+main is not found
+tooltips:
+testdata/language-features/basic-values/deforder06.lc 1:23-1:25  'Tuple0
+testdata/language-features/basic-values/deforder06.lc 1:9-2:24  'Tuple0
+testdata/language-features/basic-values/deforder06.lc 1:9-1:12  'Char
diff --git a/testdata/language-features/basic-values/typesig01.lc b/testdata/language-features/basic-values/typesig01.lc
new file mode 100644
index 00000000..909069aa
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig01.lc
@@ -0,0 +1,5 @@
+value1 :: Char
+value1 = 'a'
+
+value2::Char
+value2='a'
diff --git a/testdata/language-features/basic-values/typesig01.out b/testdata/language-features/basic-values/typesig01.out
new file mode 100644
index 00000000..c5caeb34
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig01.out
@@ -0,0 +1,8 @@
+main is not found
+tooltips:
+testdata/language-features/basic-values/typesig01.lc 1:11-1:15  Type
+testdata/language-features/basic-values/typesig01.lc 2:10-2:13  'Char
+testdata/language-features/basic-values/typesig01.lc 2:1-2:7  'Char
+testdata/language-features/basic-values/typesig01.lc 4:9-4:13  Type
+testdata/language-features/basic-values/typesig01.lc 5:8-5:11  'Char
+testdata/language-features/basic-values/typesig01.lc 5:1-5:7  'Char
diff --git a/testdata/language-features/basic-values/typesig02.lc b/testdata/language-features/basic-values/typesig02.lc
new file mode 100644
index 00000000..132e22a6
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig02.lc
@@ -0,0 +1,3 @@
+value1 = 'a' :: Char
+
+value2='a'::Char
diff --git a/testdata/language-features/basic-values/typesig02.out b/testdata/language-features/basic-values/typesig02.out
new file mode 100644
index 00000000..5dd7aac0
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig02.out
@@ -0,0 +1,7 @@
+main is not found
+tooltips:
+testdata/language-features/basic-values/typesig02.lc 1:17-1:21  Type
+testdata/language-features/basic-values/typesig02.lc 1:10-1:13  'Char
+testdata/language-features/basic-values/typesig02.lc 3:13-3:17  Type
+testdata/language-features/basic-values/typesig02.lc 3:8-3:11  'Char
+testdata/language-features/basic-values/typesig02.lc 3:1-3:7  'Char
diff --git a/testdata/language-features/basic-values/typesig03.lc b/testdata/language-features/basic-values/typesig03.lc
new file mode 100644
index 00000000..04db1677
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig03.lc
@@ -0,0 +1,6 @@
+fun1 :: a -> b -> c -> ()
+fun1 x y z = ()
+
+fun2::a->b->c->()
+fun2 x y z = ()
+
diff --git a/testdata/language-features/basic-values/typesig03.out b/testdata/language-features/basic-values/typesig03.out
new file mode 100644
index 00000000..f540fdbe
--- /dev/null
+++ b/testdata/language-features/basic-values/typesig03.out
@@ -0,0 +1,28 @@
+main is not found
+tooltips:
+testdata/language-features/basic-values/typesig03.lc 1:9-1:26  Type
+testdata/language-features/basic-values/typesig03.lc 1:9-1:26  V5
+testdata/language-features/basic-values/typesig03.lc 1:9-1:26  V4
+testdata/language-features/basic-values/typesig03.lc 1:9-1:26  V3
+testdata/language-features/basic-values/typesig03.lc 1:24-1:26  Type
+testdata/language-features/basic-values/typesig03.lc 2:14-2:16  {a} -> {b} -> {c} -> a -> b -> c->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 2:14-2:16  {a} -> {b} -> V2 -> a -> b->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 2:14-2:16  {a} -> V2 -> V2 -> a->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 2:14-2:16  V2 -> V2 -> V2->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 2:14-2:16  V2 -> V2->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 2:14-2:16  V2->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 2:14-2:16  'Tuple0
+testdata/language-features/basic-values/typesig03.lc 2:1-2:5  {a} -> {b} -> {c} -> a -> b -> c->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 4:7-4:18  Type
+testdata/language-features/basic-values/typesig03.lc 4:7-4:18  V5
+testdata/language-features/basic-values/typesig03.lc 4:7-4:18  V4
+testdata/language-features/basic-values/typesig03.lc 4:7-4:18  V3
+testdata/language-features/basic-values/typesig03.lc 4:16-4:18  Type
+testdata/language-features/basic-values/typesig03.lc 5:14-5:16  {a} -> {b} -> {c} -> a -> b -> c->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 5:14-5:16  {a} -> {b} -> V2 -> a -> b->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 5:14-5:16  {a} -> V2 -> V2 -> a->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 5:14-5:16  V2 -> V2 -> V2->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 5:14-5:16  V2 -> V2->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 5:14-5:16  V2->'Tuple0
+testdata/language-features/basic-values/typesig03.lc 5:14-5:16  'Tuple0
+testdata/language-features/basic-values/typesig03.lc 5:1-5:5  {a} -> {b} -> {c} -> a -> b -> c->'Tuple0
diff --git a/testdata/language-features/module/Hello01.lc b/testdata/language-features/module/Hello01.lc
new file mode 100644
index 00000000..0c58043e
--- /dev/null
+++ b/testdata/language-features/module/Hello01.lc
@@ -0,0 +1,4 @@
+module Hello01 where
+
+hello = "hello"
+world = "world"
diff --git a/testdata/language-features/module/Hello01.out b/testdata/language-features/module/Hello01.out
new file mode 100644
index 00000000..da97e9b5
--- /dev/null
+++ b/testdata/language-features/module/Hello01.out
@@ -0,0 +1,6 @@
+main is not found
+tooltips:
+testdata/language-features/module/Hello01.lc 3:9-3:16  'String
+testdata/language-features/module/Hello01.lc 3:1-3:6  'String
+testdata/language-features/module/Hello01.lc 4:9-4:16  'String
+testdata/language-features/module/Hello01.lc 4:1-4:6  'String
diff --git a/testdata/language-features/module/Hello02.wip.lc b/testdata/language-features/module/Hello02.wip.lc
new file mode 100644
index 00000000..7f9775dc
--- /dev/null
+++ b/testdata/language-features/module/Hello02.wip.lc
@@ -0,0 +1,4 @@
+module Hello02 (hello) where
+
+hello = "hello"
+world = "world"
\ No newline at end of file
diff --git a/testdata/language-features/module/Hello03.wip.lc b/testdata/language-features/module/Hello03.wip.lc
new file mode 100644
index 00000000..03c7fc12
--- /dev/null
+++ b/testdata/language-features/module/Hello03.wip.lc
@@ -0,0 +1,9 @@
+module Hello03
+  ( module Hello01
+  , greeting
+  ) where
+import Hello01
+
+greeting = 'G'
+
+value = 12.2
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef01.lc b/testdata/language-features/module/Moduledef01.lc
new file mode 100644
index 00000000..16ff7ebb
--- /dev/null
+++ b/testdata/language-features/module/Moduledef01.lc
@@ -0,0 +1 @@
+module Moduledef01 where
diff --git a/testdata/language-features/module/Moduledef01.out b/testdata/language-features/module/Moduledef01.out
new file mode 100644
index 00000000..59a8476e
--- /dev/null
+++ b/testdata/language-features/module/Moduledef01.out
@@ -0,0 +1,2 @@
+main is not found
+tooltips:
diff --git a/testdata/language-features/module/Moduledef02.reject.lc b/testdata/language-features/module/Moduledef02.reject.lc
new file mode 100644
index 00000000..89188cb0
--- /dev/null
+++ b/testdata/language-features/module/Moduledef02.reject.lc
@@ -0,0 +1 @@
+module Moduledef02
diff --git a/testdata/language-features/module/Moduledef02.reject.out b/testdata/language-features/module/Moduledef02.reject.out
new file mode 100644
index 00000000..a78b1db0
--- /dev/null
+++ b/testdata/language-features/module/Moduledef02.reject.out
@@ -0,0 +1,3 @@
+"testdata/language-features/module/Moduledef02.reject.lc" (line 2, column 1):
+unexpected end of input
+expecting "(" or "where"
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef03.reject.lc b/testdata/language-features/module/Moduledef03.reject.lc
new file mode 100644
index 00000000..1e4c72da
--- /dev/null
+++ b/testdata/language-features/module/Moduledef03.reject.lc
@@ -0,0 +1 @@
+module moduledef03 where
diff --git a/testdata/language-features/module/Moduledef03.reject.out b/testdata/language-features/module/Moduledef03.reject.out
new file mode 100644
index 00000000..f1713b40
--- /dev/null
+++ b/testdata/language-features/module/Moduledef03.reject.out
@@ -0,0 +1,4 @@
+"testdata/language-features/module/Moduledef03.reject.lc" (line 1, column 20):
+unexpected "w"
+expecting uppercase ident
+uppercase ident expected
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef04.reject.lc b/testdata/language-features/module/Moduledef04.reject.lc
new file mode 100644
index 00000000..bdd56672
--- /dev/null
+++ b/testdata/language-features/module/Moduledef04.reject.lc
@@ -0,0 +1,3 @@
+module moduledef04
+
+hello = "hello"
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef04.reject.out b/testdata/language-features/module/Moduledef04.reject.out
new file mode 100644
index 00000000..b81c5571
--- /dev/null
+++ b/testdata/language-features/module/Moduledef04.reject.out
@@ -0,0 +1,4 @@
+"testdata/language-features/module/Moduledef04.reject.lc" (line 3, column 1):
+unexpected "h"
+expecting uppercase ident
+uppercase ident expected
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef05.reject.lc b/testdata/language-features/module/Moduledef05.reject.lc
new file mode 100644
index 00000000..cda54bad
--- /dev/null
+++ b/testdata/language-features/module/Moduledef05.reject.lc
@@ -0,0 +1,3 @@
+module Moduledef05
+
+hello = "hello"
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef05.reject.out b/testdata/language-features/module/Moduledef05.reject.out
new file mode 100644
index 00000000..9182986e
--- /dev/null
+++ b/testdata/language-features/module/Moduledef05.reject.out
@@ -0,0 +1,3 @@
+"testdata/language-features/module/Moduledef05.reject.lc" (line 3, column 1):
+unexpected "h"
+expecting "(" or "where"
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef06.lc b/testdata/language-features/module/Moduledef06.lc
new file mode 100644
index 00000000..eb3c5b4a
--- /dev/null
+++ b/testdata/language-features/module/Moduledef06.lc
@@ -0,0 +1,3 @@
+module Moduledef06 where
+
+hello = "hello"
diff --git a/testdata/language-features/module/Moduledef06.out b/testdata/language-features/module/Moduledef06.out
new file mode 100644
index 00000000..8de34af7
--- /dev/null
+++ b/testdata/language-features/module/Moduledef06.out
@@ -0,0 +1,4 @@
+main is not found
+tooltips:
+testdata/language-features/module/Moduledef06.lc 3:9-3:16  'String
+testdata/language-features/module/Moduledef06.lc 3:1-3:6  'String
diff --git a/testdata/language-features/module/Moduledef07.lc b/testdata/language-features/module/Moduledef07.lc
new file mode 100644
index 00000000..7fb0e9d3
--- /dev/null
+++ b/testdata/language-features/module/Moduledef07.lc
@@ -0,0 +1,5 @@
+module
+  Moduledef07
+    where
+
+hello = "hello"
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef07.out b/testdata/language-features/module/Moduledef07.out
new file mode 100644
index 00000000..b078e94a
--- /dev/null
+++ b/testdata/language-features/module/Moduledef07.out
@@ -0,0 +1,4 @@
+main is not found
+tooltips:
+testdata/language-features/module/Moduledef07.lc 5:9-5:16  'String
+testdata/language-features/module/Moduledef07.lc 5:1-5:6  'String
diff --git a/testdata/language-features/module/Moduledef08.lc b/testdata/language-features/module/Moduledef08.lc
new file mode 100644
index 00000000..1280140c
--- /dev/null
+++ b/testdata/language-features/module/Moduledef08.lc
@@ -0,0 +1,5 @@
+module
+  Moduledef01()
+    where
+
+hello = "hello"
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef08.out b/testdata/language-features/module/Moduledef08.out
new file mode 100644
index 00000000..59a8476e
--- /dev/null
+++ b/testdata/language-features/module/Moduledef08.out
@@ -0,0 +1,2 @@
+main is not found
+tooltips:
diff --git a/testdata/language-features/module/Moduledef09.wip.lc b/testdata/language-features/module/Moduledef09.wip.lc
new file mode 100644
index 00000000..2d30edb3
--- /dev/null
+++ b/testdata/language-features/module/Moduledef09.wip.lc
@@ -0,0 +1,6 @@
+module
+  Moduledef09(hello)
+    where
+
+hello = "hello"
+world = "world"
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef10.wip.lc b/testdata/language-features/module/Moduledef10.wip.lc
new file mode 100644
index 00000000..fec6426f
--- /dev/null
+++ b/testdata/language-features/module/Moduledef10.wip.lc
@@ -0,0 +1,9 @@
+module Moduledef10
+  ( hello
+  , world
+  ) where
+
+hello = "hello"
+world = "world"
+
+value = ()
diff --git a/testdata/language-features/module/Moduledef11.reject.lc b/testdata/language-features/module/Moduledef11.reject.lc
new file mode 100644
index 00000000..6dec0bdc
--- /dev/null
+++ b/testdata/language-features/module/Moduledef11.reject.lc
@@ -0,0 +1 @@
+module 1 where
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef11.reject.out b/testdata/language-features/module/Moduledef11.reject.out
new file mode 100644
index 00000000..396c5818
--- /dev/null
+++ b/testdata/language-features/module/Moduledef11.reject.out
@@ -0,0 +1,3 @@
+"testdata/language-features/module/Moduledef11.reject.lc" (line 1, column 8):
+unexpected "1"
+expecting uppercase ident
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef12.reject.lc b/testdata/language-features/module/Moduledef12.reject.lc
new file mode 100644
index 00000000..4fd9b99c
--- /dev/null
+++ b/testdata/language-features/module/Moduledef12.reject.lc
@@ -0,0 +1 @@
+module & where
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef12.reject.out b/testdata/language-features/module/Moduledef12.reject.out
new file mode 100644
index 00000000..2935da1d
--- /dev/null
+++ b/testdata/language-features/module/Moduledef12.reject.out
@@ -0,0 +1,3 @@
+"testdata/language-features/module/Moduledef12.reject.lc" (line 1, column 8):
+unexpected "&"
+expecting uppercase ident
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef13.lc b/testdata/language-features/module/Moduledef13.lc
new file mode 100644
index 00000000..7fd40673
--- /dev/null
+++ b/testdata/language-features/module/Moduledef13.lc
@@ -0,0 +1,3 @@
+module Moduledef13 (module Moduledef13) where
+
+hello = "hello"
\ No newline at end of file
diff --git a/testdata/language-features/module/Moduledef13.out b/testdata/language-features/module/Moduledef13.out
new file mode 100644
index 00000000..e798219c
--- /dev/null
+++ b/testdata/language-features/module/Moduledef13.out
@@ -0,0 +1,4 @@
+main is not found
+tooltips:
+testdata/language-features/module/Moduledef13.lc 3:9-3:16  'String
+testdata/language-features/module/Moduledef13.lc 3:1-3:6  'String
diff --git a/testdata/language-features/module/import01.lc b/testdata/language-features/module/import01.lc
new file mode 100644
index 00000000..acf78b28
--- /dev/null
+++ b/testdata/language-features/module/import01.lc
@@ -0,0 +1,3 @@
+import Hello01
+
+x = hello
\ No newline at end of file
diff --git a/testdata/language-features/module/import01.out b/testdata/language-features/module/import01.out
new file mode 100644
index 00000000..b4211394
--- /dev/null
+++ b/testdata/language-features/module/import01.out
@@ -0,0 +1,4 @@
+main is not found
+tooltips:
+testdata/language-features/module/import01.lc 3:5-3:10  'String
+testdata/language-features/module/import01.lc 3:1-3:2  'String
diff --git a/testdata/language-features/module/import02.reject.lc b/testdata/language-features/module/import02.reject.lc
new file mode 100644
index 00000000..ecb7a6bc
--- /dev/null
+++ b/testdata/language-features/module/import02.reject.lc
@@ -0,0 +1,4 @@
+import Hello01
+
+-- refer to undefined function
+x = hello2
\ No newline at end of file
diff --git a/testdata/language-features/module/import02.reject.out b/testdata/language-features/module/import02.reject.out
new file mode 100644
index 00000000..4fd7632f
--- /dev/null
+++ b/testdata/language-features/module/import02.reject.out
@@ -0,0 +1,3 @@
+can't find: hello2 in "testdata/language-features/module/import02.reject.lc" (line 4, column 5):
+x = hello2
+    ^^^^^^
\ No newline at end of file
diff --git a/testdata/language-features/module/import03.reject.wip.lc b/testdata/language-features/module/import03.reject.wip.lc
new file mode 100644
index 00000000..2e54f565
--- /dev/null
+++ b/testdata/language-features/module/import03.reject.wip.lc
@@ -0,0 +1,3 @@
+import Hello02
+
+x = world
\ No newline at end of file
diff --git a/testdata/language-features/module/import03.reject.wip.out b/testdata/language-features/module/import03.reject.wip.out
new file mode 100644
index 00000000..22013a3d
--- /dev/null
+++ b/testdata/language-features/module/import03.reject.wip.out
@@ -0,0 +1 @@
+can't find module Hello02.lc testdata/Hello02.lc testdata/Hello02.lc testdata/Hello02.lc testdata/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/comment/Hello02.lc testdata/language-features/module/Hello02.lc testdata/language-features/module/Hello02.lc testdata/language-features/module/Hello02.lc testdata/language-features/module/Hello02.lc testdata/language-features/module/Hello02.lc testdata/language-features/module/Hello02.lc testdata/language-features/module/Hello02.lc testdata/language-features/pragma/Hello02.lc testdata/language-features/pragma/Hello02.lc testdata/Hello02.lc testdata/Hello02.lc testdata/Hello02.lc testdata/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/basic-values/Hello02.lc testdata/language-features/module/Hello02.lc testdata/language-features/module/Hello02.lc
\ No newline at end of file
diff --git a/testdata/language-features/module/import04.reject.wip.lc b/testdata/language-features/module/import04.reject.wip.lc
new file mode 100644
index 00000000..32861964
--- /dev/null
+++ b/testdata/language-features/module/import04.reject.wip.lc
@@ -0,0 +1,5 @@
+import Hello01
+
+-- redefine hello
+hello = "hello"
+x = '1'
\ No newline at end of file
diff --git a/testdata/language-features/module/import05.lc b/testdata/language-features/module/import05.lc
new file mode 100644
index 00000000..5d2a2bee
--- /dev/null
+++ b/testdata/language-features/module/import05.lc
@@ -0,0 +1,4 @@
+import Hello01
+
+x :: String
+x = hello
\ No newline at end of file
diff --git a/testdata/language-features/module/import05.out b/testdata/language-features/module/import05.out
new file mode 100644
index 00000000..1e6be704
--- /dev/null
+++ b/testdata/language-features/module/import05.out
@@ -0,0 +1,5 @@
+main is not found
+tooltips:
+testdata/language-features/module/import05.lc 3:6-3:12  Type
+testdata/language-features/module/import05.lc 4:5-4:10  'String
+testdata/language-features/module/import05.lc 4:1-4:2  'String
diff --git a/testdata/language-features/module/import06.lc b/testdata/language-features/module/import06.lc
new file mode 100644
index 00000000..15e76c1b
--- /dev/null
+++ b/testdata/language-features/module/import06.lc
@@ -0,0 +1,4 @@
+import Hello01(world)
+
+hello = ()
+x = world
\ No newline at end of file
diff --git a/testdata/language-features/module/import06.out b/testdata/language-features/module/import06.out
new file mode 100644
index 00000000..62dbb4d9
--- /dev/null
+++ b/testdata/language-features/module/import06.out
@@ -0,0 +1,6 @@
+main is not found
+tooltips:
+testdata/language-features/module/import06.lc 3:9-3:11  'Tuple0
+testdata/language-features/module/import06.lc 3:1-3:6  'Tuple0
+testdata/language-features/module/import06.lc 4:5-4:10  'String
+testdata/language-features/module/import06.lc 4:1-4:2  'String
diff --git a/testdata/language-features/module/import07.lc b/testdata/language-features/module/import07.lc
new file mode 100644
index 00000000..15b1f2e6
--- /dev/null
+++ b/testdata/language-features/module/import07.lc
@@ -0,0 +1,4 @@
+import Hello01 hiding (hello)
+
+hello = ()
+x = world
\ No newline at end of file
diff --git a/testdata/language-features/module/import07.out b/testdata/language-features/module/import07.out
new file mode 100644
index 00000000..cf5326d3
--- /dev/null
+++ b/testdata/language-features/module/import07.out
@@ -0,0 +1,6 @@
+main is not found
+tooltips:
+testdata/language-features/module/import07.lc 3:9-3:11  'Tuple0
+testdata/language-features/module/import07.lc 3:1-3:6  'Tuple0
+testdata/language-features/module/import07.lc 4:5-4:10  'String
+testdata/language-features/module/import07.lc 4:1-4:2  'String
diff --git a/testdata/language-features/module/import08.wip.lc b/testdata/language-features/module/import08.wip.lc
new file mode 100644
index 00000000..6a564f4d
--- /dev/null
+++ b/testdata/language-features/module/import08.wip.lc
@@ -0,0 +1,12 @@
+import Hello03
+
+value = ()
+
+g :: Char
+g = greeting
+
+h :: String
+h = hello
+
+w :: String
+w = world
\ No newline at end of file