purescript-0.15.15: tests/purs/failing/TypeSynonymCycle.purs
-- @shouldFailWith CycleInTypeSynonym
module Main where
type A = B
type B = { a :: A, b :: Loop }
data Loop = Loop B
-- @shouldFailWith CycleInTypeSynonym
module Main where
type A = B
type B = { a :: A, b :: Loop }
data Loop = Loop B