refactoring

3 files changed, 4 insertions, 3 deletions

diff --git a/testdata/Builtins.out b/testdata/Builtins.out
index 96574724..2e7d6b11 100644
--- a/testdata/Builtins.out
+++ b/testdata/Builtins.out
@@ -938,7 +938,7 @@ allSame
       \(b :: _) (c :: _) -> case'List
         \_ -> _ :: _
         (_rhs 'Unit)
-        \(d :: _) (e :: _) -> _rhs ('T2 (b ~ d) (allSame (d : e)))
+        \(d :: _) (e :: _) -> _rhs ('T2 (b `'EqCTt` d) (allSame (d : e)))
         c
       a)
     :: forall (f :: _) . [f] -> Type
diff --git a/testdata/Prelude.out b/testdata/Prelude.out
index ead20303..88464b4e 100644
--- a/testdata/Prelude.out
+++ b/testdata/Prelude.out
@@ -191,7 +191,8 @@ isKeyC
     (_rhs ('Empty ""))
     \(d :: _) (e :: _) -> case'RecItem
       \_ -> _ :: _
-      \(f :: _) (g :: _) -> _rhs (primIfThenElse (a == f) (b ~ g) (isKeyC a b e))
+      \(f :: _) (g :: _) -> _rhs
+        (primIfThenElse (a == f) (b `'EqCTt` g) (isKeyC a b e))
       d
     c
 fstTup = _rhs (hlistConsCase (_ :: _) \(a :: _) -> \_ -> a)
diff --git a/testdata/language-features/adt/gadt01.lc b/testdata/language-features/adt/gadt01.lc
index b68762ca..741f2dce 100644
--- a/testdata/language-features/adt/gadt01.lc
+++ b/testdata/language-features/adt/gadt01.lc
@@ -14,7 +14,7 @@ data M3 (a :: Type) :: String -> Type where
 
 -- g (Value2 x) = x
 -- g :: forall a . forall m . M2 a m -> a
-g = 'M2Case (\_ _ -> _) (\e @_ -> e)
+g = case'M2 (\_ _ -> _) (\e @_ -> e)
 
 h (Value3 x) = x