On Fri, 2004-05-28 at 01:42, William D. Neumann wrote:
> I agree with this. Though I'd prefer to see it with an optional argument
> to provide the starting point, i.e.
>
> val make_int_generator: ?base:int -> unit -> (unit ->int)
Yeah that's a good idea IMHO.
BTW: of course I use fresh variable generators in
my Felix compiler. At the moment I have a unique
one because it makes searching through generated
text easier. However the numbers start to get
a bit long quickly when you're alpha converting
types all the time, so being able to have several
generator around, and even create new ones,
would actually be quite useful.
Something else to add to the spec would be
that the generator throws an exception (Invalid argument?)
when it runs out of ints. We don't want it to silently
wrap around .. which mine does :(
--
John Skaller, mailto:skaller@xxxxxxxxxxxx
voice: 061-2-9660-0850,
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net
-------------------------------------------------------
This SF.Net email is sponsored by: Oracle 10g
Get certified on the hottest thing ever to hit the market... Oracle 10g.
Take an Oracle 10g class now, and we'll give you the exam FREE.
http://ads.osdn.com/?ad_id=3149&alloc_id=8166&op=click
|
Try Searching:
servers, voip, java, networking, microsoft ...
|
|
|
| 
