purescript-0.12.0: tests/purs/failing/ExtraRecordField.purs

-- @shouldFailWith AdditionalProperty
module ExtraRecordField where

import Prelude ((<>))

full :: { first :: String, last :: String } -> String
full p = p.first <> " " <> p.last

oops = full { first: "Jane", last: "Smith", age: 29 }