purescript-0.14.1: tests/purs/failing/3765.purs
-- @shouldFailWith TypesDoNotUnify
module Main where
data Tricky r = Tricky {a :: Int | r} {b :: Int | r}
mkTricky x = Tricky x x
-- @shouldFailWith TypesDoNotUnify
module Main where
data Tricky r = Tricky {a :: Int | r} {b :: Int | r}
mkTricky x = Tricky x x