aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
authorEduardo Julian2022-07-10 18:25:57 -0400
committerEduardo Julian2022-07-10 18:25:57 -0400
commitdec796a9838e39148c007f3f3d360964d7cb68de (patch)
tree6a009ec0046c237ead74f98983a8e63a870e1f5f /stdlib/source/test
parent1bbc4251230cee13d46df7b706859e834778aee0 (diff)
Better error reporting when analyzing variants.
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/control/security/capability.lux6
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])]