diff options
| author | Eduardo Julian | 2022-07-10 18:25:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-07-10 18:25:57 -0400 |
| commit | dec796a9838e39148c007f3f3d360964d7cb68de (patch) | |
| tree | 6a009ec0046c237ead74f98983a8e63a870e1f5f /stdlib/source/test | |
| parent | 1bbc4251230cee13d46df7b706859e834778aee0 (diff) | |
Better error reporting when analyzing variants.
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])] |