liquidhaskell-0.4.0.0: tests/pos/absref-crash.hs
module Foo where
data L a = C (L a)
{-@ data L a <p :: L a -> Prop> = 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 -> Prop> = C { xs :: L<p> a } @-}
{-@ Lazy foo @-}
foo :: b -> L a
foo x = C $ foo x