They were indeed. ;)
-- David
Le 2010-03-05 à 15:03, Christian Jaeger chrjae@gmail.com a écrit :
I've wondered about the results in the thesis, too; note that unsafe compilation matters very much for Gambit's records. The type checks are very expensive (maybe more expensive than 'necessary'). So I've been thinking that David maybe ran some tests in unsafe mode and not others.
Christian.