purescript-0.15.15: tests/purs/failing/CoercibleClosedRowsDoNotUnify.purs
-- @shouldFailWith TypesDoNotUnify
module Main where
import Safe.Coerce (coerce)
recToRec :: { x :: Int } -> { y :: String }
recToRec = coerce
-- @shouldFailWith TypesDoNotUnify
module Main where
import Safe.Coerce (coerce)
recToRec :: { x :: Int } -> { y :: String }
recToRec = coerce