Commit 671cdbaa authored by nx200's avatar nx200
Browse files

added contract synonym test case again

parent b28f70bf
contract nat = {x | x > 0}
contract notNull = {xs | not (null xs)}
{-# CONTRACT f :: nat -> nat #-}
f :: Int -> Int
f x = x
{-# CONTRACT g :: notNull -> any #-}
g :: [Int] -> Int
g (x:xs) = x
Markdown is supported
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