diff options
| author | Eduardo Julian | 2022-03-30 14:05:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-30 14:05:57 -0400 |
| commit | 381ec5920d9ebeb335963778dec182268819e718 (patch) | |
| tree | 5c9288c5fbb16c21a0f00f96710b0aa7db4585f4 /stdlib/source/poly | |
| parent | 1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (diff) | |
Now demanding mandatory loop names, instead of using default "again" name.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/poly/lux/abstract/functor.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux index c22faabe2..80f8d414a 100644 --- a/stdlib/source/poly/lux/abstract/functor.lux +++ b/stdlib/source/poly/lux/abstract/functor.lux @@ -66,9 +66,9 @@ ... Tuples (do p.monad [pairsCC (is (<type>.Parser (List [Code Code])) - (<type>.tuple (loop [idx 0 - pairsCC (is (List [Code Code]) - (list))] + (<type>.tuple (loop (again [idx 0 + pairsCC (is (List [Code Code]) + (list))]) (p.either (let [slotC (|> idx %.nat (format "____________slot") code.local)] (do ! [_ (in []) |