aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification
diff options
context:
space:
mode:
authorEduardo Julian2022-11-20 18:55:23 -0400
committerEduardo Julian2022-11-20 18:55:23 -0400
commitdf0e015145981602b3f97113bcfa586b4f6d0757 (patch)
tree3613c83b65df3bc83f6548abb7ad71fc801b434c /stdlib/source/specification
parentd4c72c03c1a47fe388ec36e973db17cb95dfdcfb (diff)
Fixed a bug when optimization record access.
Diffstat (limited to 'stdlib/source/specification')
-rw-r--r--stdlib/source/specification/lux/abstract/mix.lux9
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
index f1389f9e3..51c2d5d71 100644
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ b/stdlib/source/specification/lux/abstract/mix.lux
@@ -14,11 +14,12 @@
[\\library
["[0]" /]])
-(def .public (spec injection comparison (open "@//[0]"))
+(def .public (spec injection comparison (open "/#[0]"))
(All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test))
(do random.monad
[subject random.nat
parameter random.nat]
- (_.coverage [/.Mix]
- (n.= (@//mix n.+ parameter (injection subject))
- (n.+ parameter subject)))))
+ (<| (_.for [/.Mix])
+ (_.coverage [/.mix]
+ (n.= (/#mix n.+ parameter (injection subject))
+ (n.+ parameter subject))))))