auto expansion of Doc & improved error messages

5 files changed, 35 insertions, 5 deletions

diff --git a/testdata/language-features/basic-values/def05.reject.out b/testdata/language-features/basic-values/def05.reject.out
index 9efc4913..edd16b87 100644
--- a/testdata/language-features/basic-values/def05.reject.out
+++ b/testdata/language-features/basic-values/def05.reject.out
@@ -1,2 +1,8 @@
 testdata/language-features/basic-values/def05.reject.lc:4:1:
-different number of arguments of fun at testdata/language-features/basic-values/def05.reject.lc 1:1-1:4
+different number of arguments of fun:
+testdata/language-features/basic-values/def05.reject.lc:1:1:
+fun 1 = '1'
+^^^
+testdata/language-features/basic-values/def05.reject.lc:3:1:
+fun = '_'
+^^^
diff --git a/testdata/language-features/basic-values/def06.reject.out b/testdata/language-features/basic-values/def06.reject.out
index fb453bf4..cf116b52 100644
--- a/testdata/language-features/basic-values/def06.reject.out
+++ b/testdata/language-features/basic-values/def06.reject.out
@@ -1,2 +1,8 @@
 testdata/language-features/basic-values/def06.reject.lc:5:1:
-different number of arguments of fun2 at testdata/language-features/basic-values/def06.reject.lc 1:1-1:5
+different number of arguments of fun2:
+testdata/language-features/basic-values/def06.reject.lc:1:1:
+fun2 1 _ = '1'
+^^^^
+testdata/language-features/basic-values/def06.reject.lc:3:1:
+fun2 _ = '_'
+^^^^
diff --git a/testdata/language-features/basic-values/redefine02.reject.out b/testdata/language-features/basic-values/redefine02.reject.out
index 29a32e6a..4f5eede0 100644
--- a/testdata/language-features/basic-values/redefine02.reject.out
+++ b/testdata/language-features/basic-values/redefine02.reject.out
@@ -1,3 +1,9 @@
 testdata/language-features/basic-values/redefine02.reject.lc:3:8:
 expecting expression
-redefined x at testdata/language-features/basic-values/redefine02.reject.lc 1:12-1:13
+redefined x:
+testdata/language-features/basic-values/redefine02.reject.lc:1:12:
+unit = let x = ()
+           ^
+testdata/language-features/basic-values/redefine02.reject.lc:2:12:
+           x = ()
+           ^
diff --git a/testdata/language-features/basic-values/redefine03.reject.out b/testdata/language-features/basic-values/redefine03.reject.out
index 93b48d1a..5973ae17 100644
--- a/testdata/language-features/basic-values/redefine03.reject.out
+++ b/testdata/language-features/basic-values/redefine03.reject.out
@@ -1,2 +1,8 @@
 testdata/language-features/basic-values/redefine03.reject.lc:4:1:
-redefined x at testdata/language-features/basic-values/redefine03.reject.lc 2:9-2:10
+redefined x:
+testdata/language-features/basic-values/redefine03.reject.lc:2:9:
+  where x = ()
+        ^
+testdata/language-features/basic-values/redefine03.reject.lc:3:9:
+        x = ()
+        ^
diff --git a/testdata/language-features/basic-values/where06.reject.out b/testdata/language-features/basic-values/where06.reject.out
index eeb240ee..819ead1f 100644
--- a/testdata/language-features/basic-values/where06.reject.out
+++ b/testdata/language-features/basic-values/where06.reject.out
@@ -1,2 +1,8 @@
 testdata/language-features/basic-values/where06.reject.lc:7:1:
-redefined x at testdata/language-features/basic-values/where06.reject.lc 3:1-3:2
+redefined x:
+testdata/language-features/basic-values/where06.reject.lc:3:1:
+x = y where
+^
+testdata/language-features/basic-values/where06.reject.lc:5:1:
+x = 'c'
+^