liquidhaskell-0.6.0.0: tests/pos/Abs.hs

module Abs () where

absN ::  (Num a, Ord a) => a -> a
absN x = if x > 0 then x else (-x)

absI ::  Int -> Int
absI x = if x > 0 then x else (-x)

--incI ::  Int -> Int
--incI = (+) 1

x0 = absN 4
x1 = absI (-5)

--x2 = absI (incI 2)
-- x3 = absI (-3)