search

eignnx / rellog

0 stars 0 forks source link

Repl-src-var-clash-fix #32

Closed eignnx closed 10 months ago

eignnx commented 10 months ago

Fix a variable name clashing issue:

[...][...]
    [Goal][lists_splatted {[list {X ..Xs}][var A] [list {Y ..Ys}][var B]}]

...

-- [elementwise [pred [splat {1 2 3}]][succ [splat X]]]

The X's clashed, but now it's fixed.