Commit dae32485 authored by nx200's avatar nx200
Browse files

minor change

parent 0e224c0b
......@@ -5,7 +5,7 @@ module Sum where
-- {-# CONTRACT f :: x:{y | y > 0} -> {y | y > 0} -> {r | r == x + 1} #-}
-- {-# CONTRACT f :: any -> {y | y > 0} #-}
-- {-# CONTRACT f :: {y | y > 0} -> any #-}
{-# CONTRACT f :: x:{y | y > 0} -> {r | r > 0} #-}
{-# CONTRACT f :: {y | y > 0} -> {r | r > 0} #-}
f :: Int -> Int
f x = x + 1
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment