Dear all:


I have a program that run very fast.


Recently, I add a call to List.length to this old program's inner loop, which make it significantly slower.


So what is the cost of List.length, is it liner to the size of the list? or is a const?


Shen