quoted js* expressions substitution

[bendlas]

As discovered when trying to compose the helix react wrapper with missionary, cloroutine SSA transformation can introduce substitution errors, when processing js* forms in cljs.

That's because js* has fexpr-like semantics, where (js) AST snippets are substituted into the js source verbatim. For expressions that are quoted by javascript, this can make local variable names show up in javascript values:

(not=
  (run (cr {} (js* "'~{}'" "Result")) "\"Result\"")
  "\"Result\"" "cr28374_place_0")

(not=
  (run (cr {} (js->clj (js-obj "key" "val"))) {:key "val"})
  {:key "val"} {"cr28381_place_1" "val"})

(note that js-obj has a compiler macro, that expands to (js* "({~{}:~{}})" "key" "val"), in which then the key expression is mangled by cr)

Analysis

I believe just skipping introduction of local variables for :op :const AST nodes during SSA (maybe even just when used as js* argument?) should fix most any case that we care about: For anything but a constant, relying on the quoted JS form would be very brittle and probably an error.

I've added two tests, one for strings and one for object keys. There may be other affected edge cases when building up JS syntax, e.g. for labelled statements, but since cr necessarily needs to work without knowledge whether an expression will be quoted by JS, fixing :op :const nodes should fix all cases that can be reasonably fixed.

Things done

For now, I've just added tests, since I'm not that familiar with cr's SSA transformer. Help is welcome and I may reach out on slack.

[bendlas]

I've attempted to fix this. Unfortunately, this introduced a few regressions and warnings, as well as makes the test suite enter an infinite loop:

± clj -M:cljs-test
WARNING: ->t_cloroutine$core_test7324 at line 61 is being replaced at line 61 /home/herwig/code/cloroutine/test/cloroutine/core_test.cljc
WARNING: foo at line 111 is being replaced at line 111 /home/herwig/code/cloroutine/test/cloroutine/core_test.cljc

Testing cloroutine.core-test

FAIL in (suite) (/home/herwig/code/cloroutine/test/cloroutine/core_test.cljc:15:9)
expected: (= x (c))
  actual: (not (= :else nil))

FAIL in (suite) (/home/herwig/code/cloroutine/test/cloroutine/core_test.cljc:15:9)
expected: (= x (c))
  actual: (not (= :default nil))

FAIL in (suite) (/home/herwig/code/cloroutine/test/cloroutine/core_test.cljc:15:9)
expected: (= x (c))
  actual: (not (= :clause nil))

± clj -M:clj-test
Running tests in #{"test"}
Reflection warning, cloroutine/core_test.cljc:42:8 - call to static method aset on clojure.lang.RT can't be resolved (argument types: [Ljava.lang.Object;, int, long).
Reflection warning, cloroutine/core_test.cljc:104:8 - call to static method aset on clojure.lang.RT can't be resolved (argument types: [Ljava.lang.Object;, int, long).

Testing cloroutine.core-test

FAIL in (suite) (core_test.cljc:15)
expected: (= x (c))
  actual: (not (= :else nil))

FAIL in (suite) (core_test.cljc:15)
expected: (= x (c))
  actual: (not (= :clause nil))