diff options
| author | Eduardo Julian | 2021-08-07 02:20:09 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-07 02:20:09 -0400 |
| commit | 17e7566be51df5e428a6b10e6469201a8a9468da (patch) | |
| tree | 0d4ed80c9c9d846784b5bf460f6e6f5fc5b96663 /stdlib/source/specification/compositor/generation/structure.lux | |
| parent | eff4c59794868b89d60fdc411f9b544a270b817e (diff) | |
Made the be/de macros for (co)monadic expression extensible.
Diffstat (limited to 'stdlib/source/specification/compositor/generation/structure.lux')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/structure.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 4cc4f0676..46c25c8a3 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -33,7 +33,7 @@ (do {! r.monad} [num_tags (|> r.nat (\ ! map (|>> (n.% 10) (n.max 2)))) tag_in (|> r.nat (\ ! map (n.% num_tags))) - #let [last?_in (|> num_tags dec (n.= tag_in))] + .let [last?_in (|> num_tags dec (n.= tag_in))] value_in r.i64] (_.test (%.name (name_of synthesis.variant)) (|> (synthesis.variant {#analysis.lefts (if last?_in @@ -76,7 +76,7 @@ (and (n.= size (array.size tuple_out)) (list.every? (function (_ [left right]) (i.= left (:as Int right))) - (list.zipped/2 tuple_in (array.to_list tuple_out))))) + (list.zipped/2 tuple_in (array.list tuple_out))))) (#try.Failure _) false))))) |