Re: [pure-lang-users] Patch to compile Pure with LLVM upstream

[Albert G. <Dr....@t-...>]

Jir(í Spitz wrote:
> Albert I'll have time to play with it in the evening. For now only one 
> remark. The type annotations improve the execution speed quite a lot, so 
> it is not upright to compare implementations without and with them.

All I can say that I added them to avltree.pure, and they didn't make
much of a difference in the examples I tried. The worst example I saw
was that deleting all 100000 (int) members from a tree took some 9%
longer than with the ::int tags.

-- 
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email:  Dr....@t-..., ag...@mu...
WWW:    http://www.musikinformatik.uni-mainz.de/ag