Commit bca79345 authored by mniip's avatar mniip Committed by Marge Bot

Fix test

parent 2073745c
type family E a b :: *
where
E a a = ()
E a b = Bool
type family E a b :: * where
E a a = ()
E a b = Bool
-- Defined at <interactive>:2:1
type family E a b :: *
where
E a a = ()
E a b = Bool
-- incompatible indices: 0
type family E a b :: * where
E a a = ()
E a b = Bool
-- incompatible indices: 0
-- Defined at <interactive>:2:1
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