implement constraint kinds

1 files changed, 6 insertions, 6 deletions

diff --git a/testdata/typeclass.out b/testdata/typeclass.out
index 8a79e832..3b2170e0 100644
--- a/testdata/typeclass.out
+++ b/testdata/typeclass.out
@@ -16,15 +16,15 @@ not = \(a :: _) -> case'Bool (\_ -> _) (_rhs True) (_rhs False) a
 
 (||) = \(a :: _) (b :: _) -> case'Bool (\_ -> _) (_rhs b) (_rhs True) a
 
-'Eq :: Type -> Type
+'Eq :: Type -> Constraint
 'Eq
   = \(a :: _) -> match'Bool
     (\_ -> _)
-    (_rhs 'Unit)
+    (_rhs 'CUnit)
     a
-    (_rhs ('Empty "no instance of 'Eq on ???"))
+    (_rhs ('CEmpty "no instance of 'Eq on ???"))
 
-(==) :: forall a . Eq a => a -> a -> Bool
+(==) :: forall a . CW (Eq a) => a -> a -> Bool
 (==)
   = \ @a @_ -> match'Bool
     (\_ -> _)
@@ -50,7 +50,7 @@ not = \(a :: _) -> case'Bool (\_ -> _) (_rhs True) (_rhs False) a
 not :: Bool -> Bool
 (&&) :: Bool -> Bool -> Bool
 (||) :: Bool -> Bool -> Bool
-'Eq :: Type -> Type
+'Eq :: Type -> Constraint
 (==) :: forall a . Eq a => a -> a -> Bool
 (/=) :: forall a . Eq a => a -> a -> Bool
 (==.) :: forall a b . [a] -> [b] -> Bool
@@ -80,7 +80,7 @@ testdata/typeclass.lc 14:14-15:17
 testdata/typeclass.lc 15:13-15:17
     Bool
 testdata/typeclass.lc 17:7-17:9
-    Type -> Type | Type -> Type
+    Type -> Constraint | Type -> Constraint | Constraint
 testdata/typeclass.lc 17:7-18:27
     Type
 testdata/typeclass.lc 18:6-18:8