From: Richard J. <ri...@an...> - 2005-04-25 02:51:14
|
On Mon, Apr 25, 2005 at 11:27:29AM +0900, Janne Hellsten wrote: > Hi, > > > val one_big_int : big_int > > val two_big_int : big_int > ... > > val hundred_big_int : big_int > > Is there some reason (other than optimization) for not using > big_int_of_int instead? Not really sure to be honest. In the code I was originally writing I kept on having to define constants I was using at the top level - to avoid having to frequently write '(big_int_of_int 2)' all over the place. Whether it makes a real difference or not I don't know. Rich. -- Richard Jones, CTO Merjis Ltd. Merjis - web marketing and technology - http://merjis.com Team Notepad - intranets and extranets for business - http://team-notepad.com |