Arc Forumnew | comments | leaders | submitlogin
2 points by almkglor 6245 days ago | link | parent

Hmm. I suppose the real issue here is what pg intends to happen when annotating already tagged objects:

  (= y (annotate 'bar 'hmm))
  (annotate 'foo y)
3 options:

  ; option1: current Arc
  arc> (annotate 'foo y)
  #3(tagged foo #3(tagged bar hmm))
  arc> y
  #3(tagged bar hmm)
  ;option2: my proposal
  arc> (annotate 'foo y)
  #3(tagged foo hmm)
  arc> y
  #3(tagged foo hmm)
  ;option3: something else entirely
  arc> (annotate 'foo y)
  #3(tagged foo hmm)
  arc> y
  #3(tagged bar hmm)


4 points by nex3 6245 days ago | link

I think it's pretty clear that he intends option 1, as that's how it actually works, and as absz pointed out, is a strict superset of the functionality of option 2 (and has nicer properties, too).

-----