liquidhaskell-0.8.0.2: tests/errors/UnboundFunInSpec.hs
module Goo () where
cnt :: Int -> Int
cnt 0 = 0
cnt i = 1 + cnt (i-1)
{-@ three :: {v:Int | (cnt v) = 3} @-}
three :: Int
three = 15
module Goo () where
cnt :: Int -> Int
cnt 0 = 0
cnt i = 1 + cnt (i-1)
{-@ three :: {v:Int | (cnt v) = 3} @-}
three :: Int
three = 15