packages feed

liquidhaskell-0.9.0.2.1: tests/errors/CyclicTypeAlias2.hs

{-@ LIQUID "--expect-error-containing=Cyclic type alias definition for `CyclicC`" @-}
module CyclicTypeAlias2 () where

{-@ type CyclicC = [CyclicC] @-}