5 Mar
2010
5 Mar
'10
15:03
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.