purescript-0.7.0.0: examples/passing/ReservedWords.purs

-- See https://github.com/purescript/purescript/issues/606
module Main where

import Prelude

o :: { type :: String }
o = { type: "o" }

p :: { type :: String }
p = o { type = "p" }

f :: forall r. { type :: String | r } -> String
f { type = "p" } = "Done"

main = Debug.Trace.trace $ f { type: p.type, foo: "bar" }