liquidhaskell-0.7.0.0: tests/pos/absref-crash.hs
module Foo where
data L a = C (L a)
{-@ data L a <p :: L a -> Bool> = C { xs :: L<p> a } @-}
{-@ lazy foo @-}
foo :: b -> L a
foo x = C $ foo x
module Foo where
data L a = C (L a)
{-@ data L a <p :: L a -> Bool> = C { xs :: L<p> a } @-}
{-@ lazy foo @-}
foo :: b -> L a
foo x = C $ foo x