purescript-0.7.6.1: examples/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