Commit 2b1d4eb3 authored by Juan Pablo Garcia Garland's avatar Juan Pablo Garcia Garland
Browse files

80cr

parent f15f1102
......@@ -204,7 +204,8 @@ instance RequireEqRes t1 t2 ctx
type family RequireEqRes (t1 :: k) (t2 :: k)
(ctx :: [ErrorMessage]) :: Constraint where
RequireEqRes t1 t2 ctx = If (t1 `Equal` t2) (() :: Constraint)
(Require (OpError (Text "\n " :<>: ShowT t1 :<>: Text "\n/= " :<>: ShowT t2)) ctx)
(Require (OpError (Text "\n " :<>: ShowT t1
:<>: Text "\n/= " :<>: ShowT t2)) ctx)
type family Equal (a :: k) (b :: k') :: Bool where
Equal a a = True
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment