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