purescript-0.14.0: tests/purs/failing/CoercibleOpenRowsDoNotUnify.purs
-- @shouldFailWith NoInstanceFound
module Main where
import Safe.Coerce (coerce)
recToRec :: forall r s. { x :: Int | r } -> { x :: Int | s }
recToRec = coerce
-- @shouldFailWith NoInstanceFound
module Main where
import Safe.Coerce (coerce)
recToRec :: forall r s. { x :: Int | r } -> { x :: Int | s }
recToRec = coerce