diff options
Diffstat (limited to 'stdlib/source/spec/compositor/generation/common.lux')
| -rw-r--r-- | stdlib/source/spec/compositor/generation/common.lux | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/spec/compositor/generation/common.lux b/stdlib/source/spec/compositor/generation/common.lux index e2e6199d9..b7a114893 100644 --- a/stdlib/source/spec/compositor/generation/common.lux +++ b/stdlib/source/spec/compositor/generation/common.lux @@ -10,7 +10,7 @@ ["." bit ("#@." equivalence)] [number ["." i64] - ["." int] + ["i" int] ["f" frac]] ["." text ("#@." equivalence) ["%" format (#+ format)]] @@ -88,7 +88,7 @@ false) (let [subject <subject-expr>])))] - ["lux i64 f64" Frac int.frac f.= subject] + ["lux i64 f64" Frac i.frac f.= subject] ["lux i64 char" Text (|>> (:coerce Nat) text.from-code) text@= (|> subject (:coerce Nat) (n/% (i64.left-shift 8 1)) @@ -105,19 +105,19 @@ (#try.Failure _) false)))] - ["lux i64 +" i/+ Int i/=] - ["lux i64 -" i/- Int i/=] - ["lux i64 *" i/* Int i/=] - ["lux i64 /" i// Int i/=] - ["lux i64 %" i/% Int i/=] - ["lux i64 =" i/= Bit bit@=] - ["lux i64 <" i/< Bit bit@=] + ["lux i64 +" i.+ Int i.=] + ["lux i64 -" i.- Int i.=] + ["lux i64 *" i.* Int i.=] + ["lux i64 /" i./ Int i.=] + ["lux i64 %" i.% Int i.=] + ["lux i64 =" i.= Bit bit@=] + ["lux i64 <" i.< Bit bit@=] )) )))) (def: simple-frac (Random Frac) - (|> r.nat (:: r.monad map (|>> (n/% 1000) .int int.frac)))) + (|> r.nat (:: r.monad map (|>> (n/% 1000) .int i.frac)))) (def: (f64 run) (-> Runner Test) |