liquidhaskell-0.9.0.2.1: tests/neg/NestedRecursion.hs
{-@ LIQUID "--expect-any-error" @-}
module NestedRecursion (radicals) where
radicals :: Int -> [a]
radicals n = [ foo (radicals n) i | i <- [1..]]
foo = undefined
{-@ LIQUID "--expect-any-error" @-}
module NestedRecursion (radicals) where
radicals :: Int -> [a]
radicals n = [ foo (radicals n) i | i <- [1..]]
foo = undefined