liquidhaskell-0.9.0.2.1: tests/errors/CyclicTypeAlias2.hs
{-@ LIQUID "--expect-error-containing=Cyclic type alias definition for `CyclicC`" @-}
module CyclicTypeAlias2 () where
{-@ type CyclicC = [CyclicC] @-}
{-@ LIQUID "--expect-error-containing=Cyclic type alias definition for `CyclicC`" @-}
module CyclicTypeAlias2 () where
{-@ type CyclicC = [CyclicC] @-}