purescript-0.14.0: 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