purescript-0.12.0: tests/purs/failing/1175.purs
-- @shouldFailWith TypesDoNotUnify
module X where
class Foo where
foo :: String
instance f :: Foo where
foo = "a"
where
bar :: String
bar = 1
-- @shouldFailWith TypesDoNotUnify
module X where
class Foo where
foo :: String
instance f :: Foo where
foo = "a"
where
bar :: String
bar = 1