liquidhaskell-0.9.0.2.1: tests/pos/Reflect0.hs

{-@ LIQUID "--higherorder"     @-}

module Reflect0 where

{-@ fib :: n:Nat -> Nat @-}
{-@ reflect fib @-}
fib :: Int -> Int
fib n
  | n == 0    = 0
  | n == 1    = 1
  | otherwise = fib (n-1) + fib (n-2)


{-@ goo :: Nat -> Nat @-}
goo :: Int -> Int
goo x = fib x