show typechecked source code in .out files & fix local function handling (again)

1 files changed, 24 insertions, 3 deletions

diff --git a/testdata/language-features/basic-values/where01.out b/testdata/language-features/basic-values/where01.out
index 82492897..843b762e 100644
--- a/testdata/language-features/basic-values/where01.out
+++ b/testdata/language-features/basic-values/where01.out
@@ -21,18 +21,39 @@ value9 = _rhs let a = _rhs (); b = _rhs () in a
 value10 = _rhs let a = _rhs (); b = _rhs () in a
 
 value11 = _rhs let a = _rhs (); b = _rhs () in a
------------- trace
+------------ core code
 value1 :: ()
+value1 = _rhs ()
+
+value10 :: ()
+value10 = _rhs ()
+
+value11 :: ()
+value11 = _rhs ()
+
 value2 :: ()
+value2 = _rhs ()
+
 value3 :: ()
+value3 = _rhs ()
+
 value4 :: ()
+value4 = _rhs ()
+
 value5 :: ()
+value5 = _rhs ()
+
 value6 :: ()
+value6 = _rhs ()
+
 value7 :: ()
+value7 = _rhs ()
+
 value8 :: ()
+value8 = _rhs ()
+
 value9 :: ()
-value10 :: ()
-value11 :: ()
+value9 = _rhs ()
 ------------ tooltips
 testdata/language-features/basic-values/where01.lc 1:1-1:7
     ()