liquidhaskell-0.4.0.0: tests/crash/CyclicExprAlias2.hs

module Test3 () where

{-@ expression CyclicC1 Q = (CyclicC2 Q) / (CyclicC3 Q) @-}
{-@ expression CyclicC2 Q = CyclicC1 Q @-}
{-@ expression CyclicC3 Q = CyclicC1 Q @-}