diff options
| author | Eduardo Julian | 2022-11-20 18:55:23 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-11-20 18:55:23 -0400 |
| commit | df0e015145981602b3f97113bcfa586b4f6d0757 (patch) | |
| tree | 3613c83b65df3bc83f6548abb7ad71fc801b434c /stdlib/source/specification | |
| parent | d4c72c03c1a47fe388ec36e973db17cb95dfdcfb (diff) | |
Fixed a bug when optimization record access.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/mix.lux | 9 |
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)))))) |