diff options
| author | Eduardo Julian | 2021-01-05 07:55:22 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-01-05 07:55:22 -0400 |
| commit | 75102dcfa7c2c0afd32cb5bf5ac012df2db6a7a1 (patch) | |
| tree | 643350e00eebc8682c5087a4cd73b5f9406d92fb /stdlib/source/spec | |
| parent | c03bd9f9787fb9f383c57b4ebb0fa9d49abbfaa1 (diff) | |
Added lexically-scoped templates.
Diffstat (limited to 'stdlib/source/spec')
| -rw-r--r-- | stdlib/source/spec/lux/abstract/enum.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/spec/lux/abstract/enum.lux b/stdlib/source/spec/lux/abstract/enum.lux index e598179ad..6d28dead8 100644 --- a/stdlib/source/spec/lux/abstract/enum.lux +++ b/stdlib/source/spec/lux/abstract/enum.lux @@ -8,19 +8,19 @@ {1 ["." /]}) -(def: #export (spec (^open "@//.") gen-sample) +(def: #export (spec (^open "\.") gen-sample) (All [a] (-> (/.Enum a) (Random a) Test)) (do random.monad [sample gen-sample] (<| (_.for [/.Enum]) ($_ _.and (_.test "Successor and predecessor are inverse functions." - (and (@//= (|> sample @//succ @//pred) - sample) - (@//= (|> sample @//pred @//succ) - sample) - (not (@//= (@//succ sample) - sample)) - (not (@//= (@//pred sample) - sample)))) + (and (\= (|> sample \succ \pred) + sample) + (\= (|> sample \pred \succ) + sample) + (not (\= (\succ sample) + sample)) + (not (\= (\pred sample) + sample)))) )))) |