purescript-0.6.1: examples/passing/ReservedWords.purs

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

  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" }