purescript-0.14.0: tests/purs/failing/CoercibleRepresentational3.purs
-- @shouldFailWith NoInstanceFound
module Main where
import Safe.Coerce (coerce)
data Rec1 a = Rec1 { f :: a }
arr1ToArr1 :: Rec1 Int -> Rec1 String
arr1ToArr1 = coerce
-- @shouldFailWith NoInstanceFound
module Main where
import Safe.Coerce (coerce)
data Rec1 a = Rec1 { f :: a }
arr1ToArr1 :: Rec1 Int -> Rec1 String
arr1ToArr1 = coerce