liquidhaskell-0.8.0.2: tests/errors/CyclicExprAlias1.hs

module Test2 () where

{-@ expression CyclicB1 Q = CyclicB2 Q @-}
{-@ expression CyclicB2 Q = CyclicB1 Q @-}