diff options
| author | Eduardo Julian | 2020-03-19 21:20:08 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-03-19 21:20:08 -0400 |
| commit | 0f996f63bad02778d6dd3de767151f524a79df22 (patch) | |
| tree | 756d9d87c397e6a6ace24c2dab311b034d982eb6 /stdlib/source/lux/abstract | |
| parent | 6b8678f818a5f7399a50f4e2108d96783d22fd67 (diff) | |
Test for predicates + adjustments to code-generation code.
Diffstat (limited to 'stdlib/source/lux/abstract')
| -rw-r--r-- | stdlib/source/lux/abstract/predicate.lux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/source/lux/abstract/predicate.lux b/stdlib/source/lux/abstract/predicate.lux index de3fc087d..b69b43415 100644 --- a/stdlib/source/lux/abstract/predicate.lux +++ b/stdlib/source/lux/abstract/predicate.lux @@ -49,7 +49,8 @@ (All [a] (-> (-> (Predicate a) (Predicate a)) (Predicate a))) - (|>> (predicate (rec predicate)))) + (function (recur input) + (predicate recur input))) (structure: #export contravariant (Contravariant Predicate) |