diff options
| author | Eduardo Julian | 2021-07-28 04:48:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-28 04:48:42 -0400 |
| commit | 5d4583aebd00adced10275b32ff1a93ab418be50 (patch) | |
| tree | 89315e104e2b0ddd6d56f894f01a0575d3078699 /stdlib/source/specification/lux/abstract/enum.lux | |
| parent | 061fd8a209bbcaffc2bfb850ac6046752a567d50 (diff) | |
Re-named List's tags: Nil => End && Cons => Item
Diffstat (limited to 'stdlib/source/specification/lux/abstract/enum.lux')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/enum.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux index ddb2a80f1..6375b4829 100644 --- a/stdlib/source/specification/lux/abstract/enum.lux +++ b/stdlib/source/specification/lux/abstract/enum.lux @@ -9,10 +9,10 @@ [\\library ["." /]]) -(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] + [sample gen_sample] (<| (_.for [/.Enum]) ($_ _.and (_.test "Successor and predecessor are inverse functions." |