search

redplanetlabs / rama-clj-kondo

clj-kondo hooks for Rama code
Apache License 2.0
11 stars 0 forks source link

BUG - ramavars didn't unify if they weren't the first ramavar #9

Closed nixin72 closed 2 months ago

nixin72 commented 2 months ago

For example:

(<<if *condition
  (identity 1 :> *a)
  (identity 2 :> *b)
 (else>)
  (identity 3 :> *b)
  (identity 4 :> *c))
(println *b)

Previously, *b wasn't unifying since in the then branch it wasn't the first bound symbol. The ramavars weren't being propagated back up the callstack properly when new ones were bound.

This is now resolved so they should unify no matter where in the branches they appear.