liquidhaskell-0.8.10.1: tests/errors/CyclicExprAlias3.hs

module Test3 () where

{-@ expression CyclicD1 Q = CyclicD2 Q @-}
{-@ expression CyclicD2 Q = CyclicD3 Q @-}
{-@ expression CyclicD3 Q = CyclicD1 Q @-}