liquidhaskell-0.9.0.2.1: tests/errors/CyclicExprAlias0.hs
{-@ LIQUID "--expect-error-containing=Cyclic type alias definition" @-}
module CyclicExprAlias0 () where
{-@ expression CyclicA1 Q = CyclicA1 Q @-}
{-@ LIQUID "--expect-error-containing=Cyclic type alias definition" @-}
module CyclicExprAlias0 () where
{-@ expression CyclicA1 Q = CyclicA1 Q @-}