Commit 2c1b1ad7 authored by mniip's avatar mniip Committed by Marge Bot

Fix test

parent ca8efc49
...@@ -5,5 +5,5 @@ type family E a b :: * where ...@@ -5,5 +5,5 @@ type family E a b :: * where
type family E a b :: * where type family E a b :: * where
{- #0 -} E a a = () {- #0 -} E a a = ()
{- #1 -} E a b = Bool {- #1 -} E a b = Bool
-- incompatible with: #0 -- incompatible with: #0
-- Defined at <interactive>:2:1 -- 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