adapt error messages

innermost sign operators are now part of the literal, see #505
dfinity · Sep 12, 2019 · 72d019f · 72d019f
1 parent 9af49c3
commit 72d019f
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/test/fail/ok/bad-unops.tc.ok b/test/fail/ok/bad-unops.tc.ok
@@ -2,11 +2,15 @@ bad-unops.as:1.9-1.11: type error, operator is not defined for operand type
   Int
 bad-unops.as:2.9-2.12: type error, operator is not defined for operand type
   Int
-bad-unops.as:3.15-3.17: type error, expression of type
+bad-unops.as:3.15-3.17: type error, literal of type
   Int
-cannot produce expected type
+does not have expected type
   Nat
-bad-unops.as:4.15-4.17: type error, expression of type
+bad-unops.as:4.15-4.17: type error, literal of type
   Int
-cannot produce expected type
+does not have expected type
+  Nat
+bad-unops.as:7.28-7.30: type error, literal of type
+  Int
+does not have expected type
   Nat