diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/control/security/capability.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index d61e32bbe..ecc9d22ba 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -15,10 +15,10 @@ [\\library ["[0]" /]]) -(/.capability: (Can_Shift a) +(/.capability (Can_Shift a) (can_shift [a Nat] [a Nat])) -(/.capability: Can_IO +(/.capability Can_IO (can_io [] (IO Nat))) (def .public test @@ -31,7 +31,7 @@ pass_through (random.ascii 1)] (_.for [/.Capability] (all _.and - (_.coverage [/.capability: /.use] + (_.coverage [/.capability /.use] (let [capability (..can_shift (function (_ [no_op raw]) [no_op (n.+ shift raw)])) [untouched actual] (/.use capability [pass_through base])] |