diff options
Diffstat (limited to 'stdlib/source/test/lux/abstract/predicate.lux')
| -rw-r--r-- | stdlib/source/test/lux/abstract/predicate.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/test/lux/abstract/predicate.lux b/stdlib/source/test/lux/abstract/predicate.lux index cf7f4f074..8bf5c05f0 100644 --- a/stdlib/source/test/lux/abstract/predicate.lux +++ b/stdlib/source/test/lux/abstract/predicate.lux @@ -12,7 +12,7 @@ [control ["." function]] [data - ["." bit ("#@." equivalence)] + ["." bit ("#\." equivalence)] [number ["n" nat]] [collection @@ -37,7 +37,7 @@ #let [equivalence (: (Equivalence (/.Predicate Nat)) (structure (def: (= left right) - (bit@= (left sample) + (bit\= (left sample) (right sample)))))]]) (_.with-cover [/.Predicate]) ($_ _.and @@ -54,24 +54,24 @@ ($monoid.spec equivalence /.intersection generator)))) (_.cover [/.none] - (bit@= false (/.none sample))) + (bit\= false (/.none sample))) (_.cover [/.all] - (bit@= true (/.all sample))) + (bit\= true (/.all sample))) (_.cover [/.unite] - (bit@= (/.all sample) + (bit\= (/.all sample) ((/.unite /.none /.all) sample))) (_.cover [/.intersect] - (bit@= (/.none sample) + (bit\= (/.none sample) ((/.intersect /.none /.all) sample))) (_.cover [/.complement] - (and (not (bit@= (/.none sample) + (and (not (bit\= (/.none sample) ((/.complement /.none) sample))) - (not (bit@= (/.all sample) + (not (bit\= (/.all sample) ((/.complement /.all) sample))))) (_.cover [/.difference] (let [/2? (multiple? 2) /3? (multiple? 3)] - (bit@= (and (/2? sample) + (bit\= (and (/2? sample) (not (/3? sample))) ((/.difference /3? /2?) sample)))) (_.cover [/.rec] @@ -86,6 +86,6 @@ (#.Cons head tail) (or (even? head) (recur tail)))))))] - (bit@= (list.any? even? samples) + (bit\= (list.any? even? samples) (any-even? samples)))) ))) |