15 files changed, 15 insertions, 16 deletions

diff --git a/testdata/language-features/basic-list/list03.reject.out b/testdata/language-features/basic-list/list03.reject.out
index 5ef4c263..b1877931 100644
--- a/testdata/language-features/basic-list/list03.reject.out
+++ b/testdata/language-features/basic-list/list03.reject.out
@@ -1,3 +1,3 @@
 "testdata/language-features/basic-list/list03.reject.lc" (line 2, column 1):
 unexpected end of input
-expecting "," or "]"
\ No newline at end of file
+expecting expression
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list04.reject.out b/testdata/language-features/basic-list/list04.reject.out
index f97f8851..abc472f9 100644
--- a/testdata/language-features/basic-list/list04.reject.out
+++ b/testdata/language-features/basic-list/list04.reject.out
@@ -1,3 +1,3 @@
 "testdata/language-features/basic-list/list04.reject.lc" (line 2, column 1):
 unexpected end of input
-expecting "," or "]"
\ No newline at end of file
+expecting expression
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list05.reject.out b/testdata/language-features/basic-list/list05.reject.out
index 7633bb70..aa249773 100644
--- a/testdata/language-features/basic-list/list05.reject.out
+++ b/testdata/language-features/basic-list/list05.reject.out
@@ -1,3 +1,3 @@
 "testdata/language-features/basic-list/list05.reject.lc" (line 2, column 1):
 unexpected end of input
-expecting "if", "forall", "\\", "case", "|", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":" or backquoted ident
\ No newline at end of file
+expecting expression
\ No newline at end of file
diff --git a/testdata/language-features/basic-list/list06.reject.out b/testdata/language-features/basic-list/list06.reject.out
index 6bdb5d8a..b1fb7188 100644
--- a/testdata/language-features/basic-list/list06.reject.out
+++ b/testdata/language-features/basic-list/list06.reject.out
@@ -1,3 +1,3 @@
 "testdata/language-features/basic-list/list06.reject.lc" (line 1, column 10):
 unexpected ","
-expecting "if", "forall", "\\", "case", "|", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":", backquoted ident or "]"
\ No newline at end of file
+expecting expression
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/def05.reject.out b/testdata/language-features/basic-values/def05.reject.out
index 60095f3d..7c6b91ba 100644
--- a/testdata/language-features/basic-values/def05.reject.out
+++ b/testdata/language-features/basic-values/def05.reject.out
@@ -1,4 +1,4 @@
 "testdata/language-features/basic-values/def05.reject.lc" (line 4, column 1):
 unexpected end of input
-expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":", backquoted ident, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern
+expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":", backquoted ident, expression, lambda, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern
 different number of arguments of fun at testdata/language-features/basic-values/def05.reject.lc 1:1-1:4
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/def06.reject.out b/testdata/language-features/basic-values/def06.reject.out
index a4fac531..bcf412d2 100644
--- a/testdata/language-features/basic-values/def06.reject.out
+++ b/testdata/language-features/basic-values/def06.reject.out
@@ -1,4 +1,4 @@
 "testdata/language-features/basic-values/def06.reject.lc" (line 5, column 1):
 unexpected end of input
-expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":", backquoted ident, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern
+expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":", backquoted ident, expression, lambda, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern
 different number of arguments of fun2 at testdata/language-features/basic-values/def06.reject.lc 1:1-1:5
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/indentation03.reject.out b/testdata/language-features/basic-values/indentation03.reject.out
index 2d7eeedb..e4d1b181 100644
--- a/testdata/language-features/basic-values/indentation03.reject.out
+++ b/testdata/language-features/basic-values/indentation03.reject.out
@@ -1,3 +1,3 @@
 "testdata/language-features/basic-values/indentation03.reject.lc" (line 2, column 11):
 unexpected reserved operator "="
-expecting symbols
\ No newline at end of file
+expecting symbols or lambda
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/infix04.reject.out b/testdata/language-features/basic-values/infix04.reject.out
index 9efba6ec..92ba823f 100644
--- a/testdata/language-features/basic-values/infix04.reject.out
+++ b/testdata/language-features/basic-values/infix04.reject.out
@@ -1,3 +1,3 @@
 "testdata/language-features/basic-values/infix04.reject.lc" (line 3, column 19):
 unexpected "("
-expecting backquoted ident
\ No newline at end of file
+expecting backquoted ident or lambda
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/literal01.lc b/testdata/language-features/basic-values/literal01.lc
index 5180ae8a..9f886274 100644
--- a/testdata/language-features/basic-values/literal01.lc
+++ b/testdata/language-features/basic-values/literal01.lc
@@ -10,4 +10,4 @@ charValue = 'A'
 stringValue1 = "Hello World"
 stringValue2 = "\nHello\32World\tagain!\r\n"
 
-natValue = #1234
+natValue = '1234
diff --git a/testdata/language-features/basic-values/literal01.out b/testdata/language-features/basic-values/literal01.out
index 6e617798..bba02e5b 100644
--- a/testdata/language-features/basic-values/literal01.out
+++ b/testdata/language-features/basic-values/literal01.out
@@ -13,5 +13,4 @@ testdata/language-features/basic-values/literal01.lc 10:1-10:13  String
 testdata/language-features/basic-values/literal01.lc 10:16-10:29  String
 testdata/language-features/basic-values/literal01.lc 11:1-11:13  String
 testdata/language-features/basic-values/literal01.lc 11:16-11:45  String
-testdata/language-features/basic-values/literal01.lc 13:1-13:9  Int
-testdata/language-features/basic-values/literal01.lc 13:12-13:17  Int
+testdata/language-features/basic-values/literal01.lc 13:1-13:9  Nat
diff --git a/testdata/language-features/basic-values/redefine02.reject.out b/testdata/language-features/basic-values/redefine02.reject.out
index b990ab72..ea5e22e1 100644
--- a/testdata/language-features/basic-values/redefine02.reject.out
+++ b/testdata/language-features/basic-values/redefine02.reject.out
@@ -1,3 +1,3 @@
 "testdata/language-features/basic-values/redefine02.reject.lc" (line 3, column 9):
-expecting identifier, uppercase ident, typed ident, operator definition, lhs or pattern
+expecting expression
 Invalid indentation.  Found a token at indentation 8.  Expecting a token at an indentation greater than or equal to 13.IndentStream {indentationState = IndentationState {minIndentation = 13, maxIndentation = 14, absMode = False, tokenRel = Ge}, tokenStream = ""} or Invalid indentation.  Found a token at indentation 8.  Expecting a token at an indentation greater than or equal to 12.IndentStream {indentationState = IndentationState {minIndentation = 12, maxIndentation = 12, absMode = False, tokenRel = Ge}, tokenStream = ""}
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/redefine03.reject.out b/testdata/language-features/basic-values/redefine03.reject.out
index a4e20764..31468c1e 100644
--- a/testdata/language-features/basic-values/redefine03.reject.out
+++ b/testdata/language-features/basic-values/redefine03.reject.out
@@ -1,4 +1,4 @@
 "testdata/language-features/basic-values/redefine03.reject.lc" (line 4, column 1):
 unexpected end of input
-expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":", backquoted ident, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern
+expecting projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":", backquoted ident, expression, lambda, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs or pattern
 redefined x at testdata/language-features/basic-values/redefine03.reject.lc 2:9-2:10
\ No newline at end of file
diff --git a/testdata/language-features/basic-values/where02.reject.out b/testdata/language-features/basic-values/where02.reject.out
index 2d4cf109..186eee42 100644
--- a/testdata/language-features/basic-values/where02.reject.out
+++ b/testdata/language-features/basic-values/where02.reject.out
@@ -1,3 +1,3 @@
 "testdata/language-features/basic-values/where02.reject.lc" (line 4, column 6):
 unexpected reserved operator "="
-expecting symbols
\ No newline at end of file
+expecting symbols or lambda
\ No newline at end of file
diff --git a/testdata/language-features/guard/guard10.reject.out b/testdata/language-features/guard/guard10.reject.out
index 9067b149..56b38afa 100644
--- a/testdata/language-features/guard/guard10.reject.out
+++ b/testdata/language-features/guard/guard10.reject.out
@@ -1,3 +1,3 @@
 "testdata/language-features/guard/guard10.reject.lc" (line 2, column 2):
-expecting symbols
+expecting symbols or lambda
 Invalid indentation.  Found a token at indentation 1.  Expecting a token at an indentation greater than or equal to 2.IndentStream {indentationState = IndentationState {minIndentation = 2, maxIndentation = 6, absMode = False, tokenRel = Ge}, tokenStream = ""}
\ No newline at end of file
diff --git a/testdata/listcompr01.reject.out b/testdata/listcompr01.reject.out
index 5cb55a0d..2b83196c 100644
--- a/testdata/listcompr01.reject.out
+++ b/testdata/listcompr01.reject.out
@@ -1,3 +1,3 @@
 "testdata/listcompr01.reject.lc" (line 6, column 42):
 unexpected ','
-expecting end of "]", projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":", backquoted ident, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs, pattern or end of input
\ No newline at end of file
+expecting end of "]", projection, swizzling, "@", char literal, literal string, float literal, "#", natural, "_", "'", identifier, uppercase ident, dotdot expression, List comprehension, "[", "(", "{", "let", symbols, ":", backquoted ident, expression, lambda, "::", "~", "->", "=>", "where", "data", "class", "instance", type family, type instance, "type", typed ident, "infix", "infixl", "infixr", operator definition, lhs, pattern or end of input
\ No newline at end of file