Permalink
Browse files

example tweaks.

  • Loading branch information...
1 parent a85324f commit 80df11e18ae37bf2f90a85664ded3fe7b287804c @leepike committed Mar 22, 2013
Showing with 2 additions and 2 deletions.
  1. +1 −1 examples/Div0.hs
  2. +1 −1 examples/LambdaCalc.hs
View
2 examples/Div0.hs
@@ -44,7 +44,7 @@ instance Arbitrary Exp where
-- property: so long as 0 isn't in the divisor, we won't try to divide by 0.
-- It's false: something might evaluate to 0 still.
-prop_div :: Exp -> ScProp
+prop_div :: Exp -> ScProperty
prop_div e = divSubTerms e --> eval e /= Nothing
-- prop_div e = property $ case x of
-- Nothing -> True
View
2 examples/LambdaCalc.hs
@@ -113,7 +113,7 @@ instance Arbitrary Pr where
-- prop0 (Pr (e0, e1)) = alphaEq e0 e1 ==> betaEq e0 e1
-- if you do a beta reduction to nf
--- prop1 :: Pr -> ScProp
+-- prop1 :: Pr -> ScProperty
-- prop1 (Pr e0 e1) = -- Timeout due to possible non-termination
-- within 1000 $ alphaEq e0 e1 --> betaEq e0 (substVar "x" "y" e1)

0 comments on commit 80df11e

Please sign in to comment.