liquidhaskell-0.8.0.2: tests/errors/CyclicTypeAlias0.hs

module Test0 () where

{-@ type CyclicA1 = CyclicA2 @-}
{-@ type CyclicA2 = CyclicA1 @-}