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

1 files changed, 6 insertions, 3 deletions

diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out
index e85b6781..0df6fc91 100644
--- a/testdata/language-features/basic-values/typesig04.out
+++ b/testdata/language-features/basic-values/typesig04.out
@@ -1,13 +1,16 @@
 main is not found
 ------------ desugared source code
 fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> ()
-fun1 = \_ _ -> _rhs ()
+fun1 = \(_ :: _) (_ :: _) -> _rhs ()
 
 fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> ()
-fun2 = \_ _ -> _rhs ()
------------- trace
+fun2 = \(_ :: _) (_ :: _) -> _rhs ()
+------------ core code
 fun1 :: forall a b c . a -> (b -> c) -> ()
+fun1 = \_ _ _ _ _ -> _rhs ()
+
 fun2 :: forall a b c . a -> (b -> c) -> ()
+fun2 = \_ _ _ _ _ -> _rhs ()
 ------------ tooltips
 testdata/language-features/basic-values/typesig04.lc 1:9-1:10
     _f