purescript-0.15.11: tests/purs/passing/4483.purs
module Main where import Effect.Console (log) import Prim.TypeError class Foo t where foo :: t -> String bar :: Int -> t instance fooInt :: Fail (Text "can't use this") => Foo Int main = log "Done"
module Main where import Effect.Console (log) import Prim.TypeError class Foo t where foo :: t -> String bar :: Int -> t instance fooInt :: Fail (Text "can't use this") => Foo Int main = log "Done"