purescript-0.15.15: tests/purs/failing/CoercibleUnknownRowTail1.purs
-- @shouldFailWith NoInstanceFound
module Main where
import Safe.Coerce (coerce)
zero :: Int
zero = (coerce { a: 0 }).a
-- @shouldFailWith NoInstanceFound
module Main where
import Safe.Coerce (coerce)
zero :: Int
zero = (coerce { a: 0 }).a