Commit bb79e718 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix test by adding an extra fundep to make the (HasSingleton (Maybe a) mp) instance legal

parent 292f99c8
......@@ -20,7 +20,9 @@ data Existential (p :: KProxy k) =
class HasSingleton a (kp :: KProxy k) | a -> kp where
exists :: a -> Existential kp
instance forall a (mp :: KProxy (Maybe ak)). HasSingleton (Maybe a) mp where
class Floop a b | a -> b
instance forall a (mp :: KProxy (Maybe ak)). Floop a mp => HasSingleton (Maybe a) mp where
exists Nothing = Exists SNothing
-- instance forall (a ::*) (mp :: KProxy (Maybe ak)). HasSingleton (Maybe ak) (Maybe a) mp where
......
exists Nothing :: Existential (Maybe *) mp
exists Nothing
:: Floop * (KProxy (Maybe *)) a mp => Existential (Maybe *) mp
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