On 1/5/07, Trans <transfire / gmail.com> wrote: > > > but it's possible NOW. see the latest annouce on the list! > > > > Oh, sorry ara. I was actually talking about the arrow. > > The arrow is more ugly!? in that case try writting some heavy meta-code > using Pervasives and __(obj) and let me know how it goes ;-) [trust me > I've done it]. No. I see the arrow to be equivalent to __(obj) and prettier than an explicit Pervasive object. I suggested the arrow since it was the best I could come up with, but I should have read the thread before to see it was already suggested. I would have been kinder then, perhaps, since I thought I was making fun of myself :)