purescript-0.9.1: examples/failing/RowConstructors1.purs
-- @shouldFailWith KindsDoNotUnify
module Main where
import Control.Monad.Eff.Console (log)
data Foo = Bar
type Baz = { | Foo }
main = log "Done"
-- @shouldFailWith KindsDoNotUnify
module Main where
import Control.Monad.Eff.Console (log)
data Foo = Bar
type Baz = { | Foo }
main = log "Done"