mutual function definitions

1 files changed, 6 insertions, 16 deletions

diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out
index 60f0c6c8..f6e2660e 100644
--- a/testdata/typesig.reject.out
+++ b/testdata/typesig.reject.out
@@ -1,28 +1,18 @@
-focus checkMetas:
-\(a :: Type) -> ((\b -> primFix a b) :: (a -> a) -> a)
-  let a = Type in \(c :: Type) -> <<HERE>>
----
-\(a :: CW (Type ~ _a)) (b :: CW (_a ~ X)) -> typeAnn _a (_rhs X) :: _a
+can't find: x in testdata/typesig.reject.lc:6:6:
+x :: x
+     ^
 ------------ trace
 'X :: Type
 X :: X
 case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b
 match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b
-!focus checkMetas:
-\(a :: Type) -> ((\b -> primFix a b) :: (a -> a) -> a)
-  let a = Type in \(c :: Type) -> <<HERE>>
----
-\(a :: CW (Type ~ _a)) (b :: CW (_a ~ X)) -> typeAnn _a (_rhs X) :: _a
+!can't find: x in testdata/typesig.reject.lc:6:6:
+x :: x
+     ^
 ------------ tooltips
 testdata/typesig.reject.lc 4:6-4:7
     Type | Type | Type | Type | Type
 testdata/typesig.reject.lc 4:6-4:11
     Type
 testdata/typesig.reject.lc 4:10-4:11
-    X
-testdata/typesig.reject.lc 6:6-6:7
-    _b
-testdata/typesig.reject.lc 6:6-7:6
-    _c
-testdata/typesig.reject.lc 7:5-7:6
     X
\ No newline at end of file