polymorphic Int literals

10 files changed, 20 insertions, 23 deletions

diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out
index 47917305..bf06eabe 100644
--- a/testdata/language-features/basic-values/case02.out
+++ b/testdata/language-features/basic-values/case02.out
@@ -1,12 +1,12 @@
 main is not found
 tooltips:
-testdata/language-features/basic-values/case02.lc 1:1-1:7  Tuple0
+testdata/language-features/basic-values/case02.lc 1:1-1:7  {a} -> {b : Eq a} -> {c : Num a}->Tuple0
 testdata/language-features/basic-values/case02.lc 1:10-3:10  Tuple0
 testdata/language-features/basic-values/case02.lc 1:15-1:16  V1
 testdata/language-features/basic-values/case02.lc 2:8-2:10  Tuple0
 testdata/language-features/basic-values/case02.lc 2:8-3:10  Bool->Tuple0
 testdata/language-features/basic-values/case02.lc 3:8-3:10  Tuple0
-testdata/language-features/basic-values/case02.lc 5:1-5:7  String
+testdata/language-features/basic-values/case02.lc 5:1-5:7  {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a}->String
 testdata/language-features/basic-values/case02.lc 5:10-8:11  String
 testdata/language-features/basic-values/case02.lc 5:15-5:16  V1
 testdata/language-features/basic-values/case02.lc 6:8-6:11  String
diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out
index ebe786da..34b63a6f 100644
--- a/testdata/language-features/basic-values/case03.reject.out
+++ b/testdata/language-features/basic-values/case03.reject.out
@@ -1,8 +1,5 @@
-type error: can not unify
-'Int
-with
-'Tuple0
-
-in "testdata/language-features/basic-values/case03.reject.lc" (line 1, column 15):
+type error: no instance of 'Num on ???
+in "testdata/language-features/basic-values/case03.reject.lc" (line 1, column 10):
 value1 = case () of
-              ^^
+  1 -> ()
+  _ -> ()
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out
index 3520939e..1fe3642e 100644
--- a/testdata/language-features/basic-values/case05.out
+++ b/testdata/language-features/basic-values/case05.out
@@ -1,6 +1,6 @@
 main is not found
 tooltips:
-testdata/language-features/basic-values/case05.lc 1:1-1:6  Int->Char
+testdata/language-features/basic-values/case05.lc 1:1-1:6  {a} -> {b : Eq a} -> {c : Num a} -> a->Char
 testdata/language-features/basic-values/case05.lc 1:11-2:11  Char
-testdata/language-features/basic-values/case05.lc 1:16-1:17  V1
+testdata/language-features/basic-values/case05.lc 1:16-1:17  V4
 testdata/language-features/basic-values/case05.lc 2:8-2:11  Char
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out
index 4d63f278..07d359d1 100644
--- a/testdata/language-features/basic-values/case06.out
+++ b/testdata/language-features/basic-values/case06.out
@@ -1,8 +1,8 @@
 main is not found
 tooltips:
-testdata/language-features/basic-values/case06.lc 1:1-1:6  Int->Char
+testdata/language-features/basic-values/case06.lc 1:1-1:6  {a} -> {b : Eq a} -> {c : Num a} -> a->Char
 testdata/language-features/basic-values/case06.lc 1:11-3:11  Char
-testdata/language-features/basic-values/case06.lc 1:16-1:17  V1
+testdata/language-features/basic-values/case06.lc 1:16-1:17  V4
 testdata/language-features/basic-values/case06.lc 2:8-2:11  Char
 testdata/language-features/basic-values/case06.lc 2:8-3:11  Bool->Char
 testdata/language-features/basic-values/case06.lc 3:8-3:11  Char
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out
index 62b92e94..59f1c85a 100644
--- a/testdata/language-features/basic-values/def03.out
+++ b/testdata/language-features/basic-values/def03.out
@@ -1,6 +1,6 @@
 main is not found
 tooltips:
-testdata/language-features/basic-values/def03.lc 1:1-1:4  Int->Char
+testdata/language-features/basic-values/def03.lc 1:1-1:4  {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char
 testdata/language-features/basic-values/def03.lc 1:9-1:12  Char
 testdata/language-features/basic-values/def03.lc 1:9-2:12  Bool->Char
 testdata/language-features/basic-values/def03.lc 2:9-2:12  Char
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out
index e3ff364b..fdfaa7d0 100644
--- a/testdata/language-features/basic-values/def04.out
+++ b/testdata/language-features/basic-values/def04.out
@@ -1,12 +1,12 @@
 main is not found
 tooltips:
-testdata/language-features/basic-values/def04.lc 1:1-1:4  Int->Char
+testdata/language-features/basic-values/def04.lc 1:1-1:4  {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char
 testdata/language-features/basic-values/def04.lc 1:9-1:12  Char
 testdata/language-features/basic-values/def04.lc 1:9-3:12  Bool->Char
 testdata/language-features/basic-values/def04.lc 2:9-2:12  Char
 testdata/language-features/basic-values/def04.lc 2:9-3:12  Bool->Char | Char
 testdata/language-features/basic-values/def04.lc 3:9-3:12  Char
-testdata/language-features/basic-values/def04.lc 5:1-5:5  {a} -> Int -> a->Char
+testdata/language-features/basic-values/def04.lc 5:1-5:5  {a} -> {b} -> {c : Eq a} -> {d : Num a} -> {e : Eq a} -> {f : Num a} -> a -> b->Char
 testdata/language-features/basic-values/def04.lc 5:12-5:15  Char
 testdata/language-features/basic-values/def04.lc 5:12-7:15  Bool->Char
 testdata/language-features/basic-values/def04.lc 6:12-6:15  Char
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out
index 443fd04a..4d459051 100644
--- a/testdata/language-features/basic-values/where05.out
+++ b/testdata/language-features/basic-values/where05.out
@@ -1,27 +1,27 @@
 main is not found
 tooltips:
-testdata/language-features/basic-values/where05.lc 1:1-1:7  Tuple0
+testdata/language-features/basic-values/where05.lc 1:1-1:7  {a} -> {b : Eq a} -> {c : Num a}->Tuple0
 testdata/language-features/basic-values/where05.lc 1:10-3:10  Tuple0
 testdata/language-features/basic-values/where05.lc 1:15-1:16  V1
 testdata/language-features/basic-values/where05.lc 2:8-2:9  Tuple0
 testdata/language-features/basic-values/where05.lc 2:8-3:10  Bool->Tuple0
 testdata/language-features/basic-values/where05.lc 2:20-2:22  Tuple0
 testdata/language-features/basic-values/where05.lc 3:8-3:10  Tuple0
-testdata/language-features/basic-values/where05.lc 5:1-5:7  Tuple0
+testdata/language-features/basic-values/where05.lc 5:1-5:7  {a} -> {b : Eq a} -> {c : Num a}->Tuple0
 testdata/language-features/basic-values/where05.lc 5:10-8:10  Tuple0
 testdata/language-features/basic-values/where05.lc 5:15-5:16  V1
 testdata/language-features/basic-values/where05.lc 6:8-6:9  Tuple0
 testdata/language-features/basic-values/where05.lc 6:8-8:10  Bool->Tuple0
 testdata/language-features/basic-values/where05.lc 7:14-7:16  Tuple0
 testdata/language-features/basic-values/where05.lc 8:8-8:10  Tuple0
-testdata/language-features/basic-values/where05.lc 10:1-10:7  Tuple0
+testdata/language-features/basic-values/where05.lc 10:1-10:7  {a} -> {b : Eq a} -> {c : Num a}->Tuple0
 testdata/language-features/basic-values/where05.lc 10:10-14:10  Tuple0
 testdata/language-features/basic-values/where05.lc 10:15-10:16  V1
 testdata/language-features/basic-values/where05.lc 11:8-11:9  Tuple0
 testdata/language-features/basic-values/where05.lc 11:8-14:10  Bool->Tuple0
 testdata/language-features/basic-values/where05.lc 13:8-13:10  Tuple0
 testdata/language-features/basic-values/where05.lc 14:8-14:10  Tuple0
-testdata/language-features/basic-values/where05.lc 16:1-16:7  Tuple0
+testdata/language-features/basic-values/where05.lc 16:1-16:7  {a} -> {b : Eq a} -> {c : Num a}->Tuple0
 testdata/language-features/basic-values/where05.lc 16:10-18:10  Tuple0
 testdata/language-features/basic-values/where05.lc 16:15-16:16  V1
 testdata/language-features/basic-values/where05.lc 17:8-17:9  Tuple0
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out
index ce8d0418..1912e426 100644
--- a/testdata/language-features/guard/guard16.out
+++ b/testdata/language-features/guard/guard16.out
@@ -1,6 +1,6 @@
 main is not found
 tooltips:
-testdata/language-features/guard/guard16.lc 1:1-1:6  Tuple0
+testdata/language-features/guard/guard16.lc 1:1-1:6  {a} -> {b : Eq a} -> {c : Num a}->Tuple0
 testdata/language-features/guard/guard16.lc 1:9-3:10  Tuple0
 testdata/language-features/guard/guard16.lc 1:14-1:15  V1
 testdata/language-features/guard/guard16.lc 2:7-2:11  Bool
diff --git a/testdata/language-features/pattern/pattern01.out b/testdata/language-features/pattern/pattern01.out
index 82e66c9f..359b7494 100644
--- a/testdata/language-features/pattern/pattern01.out
+++ b/testdata/language-features/pattern/pattern01.out
@@ -1,6 +1,6 @@
 main is not found
 tooltips:
-testdata/language-features/pattern/pattern01.lc 1:1-1:5  Int->Char
+testdata/language-features/pattern/pattern01.lc 1:1-1:5  {a} -> {b : Eq a} -> {c : Num a} -> a->Char
 testdata/language-features/pattern/pattern01.lc 1:10-1:13  Char
 testdata/language-features/pattern/pattern01.lc 1:10-2:13  Bool->Char
 testdata/language-features/pattern/pattern01.lc 2:10-2:13  Char
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out
index ec5041b2..0b76cf4d 100644
--- a/testdata/language-features/recursion/simplerec01.out
+++ b/testdata/language-features/recursion/simplerec01.out
@@ -1,6 +1,6 @@
 main is not found
 tooltips:
-testdata/language-features/recursion/simplerec01.lc 1:1-1:4  Int->Char
+testdata/language-features/recursion/simplerec01.lc 1:1-1:4  {a} -> {b : Num a} -> {c : Eq a} -> {d : Num a} -> a->Char
 testdata/language-features/recursion/simplerec01.lc 1:9-1:12  Char
 testdata/language-features/recursion/simplerec01.lc 1:9-2:14  Bool->Char | V0->V1
 testdata/language-features/recursion/simplerec01.lc 2:9-2:12  V4