Arc Forumnew | comments | leaders | submitlogin
1 point by akkartik 4560 days ago | link | parent

After playing with it some more, I'm finding that this actually works better in arc than in wart. In wart perhaps I should require parenthesizing it differently:

  (iflet x ((...) :satisfies f)
             'branch1)
Otherwise it interacts poorly with paren-insertion. Things like this with multiple branches:

  iflet x 2+3 :satisfies even?
            x+1
          3+4 :satisfies even?
            x+2
=> (iflet x 2+3 :satisfies even? x+1 (3+4 :satisfies even?) x+2)

Need wrapping in parens lest the inner test get wrapped in parens:

  (iflet x 2+3 :satisfies even?
             x+1
           3+4 :satisfies even?
             x+2)
Hmm, unhappy with my choices here.