Am Wednesday 11 August 2004 00:38 schrieb Jean-Baptiste Rouquier:
> OK
> Here is a code sample, then.

thanks for the sample code, I will review it, tomorrow (or today :-)

> If the two queues have different token types, it will allow slightly
> better typechecking...

yes thats the case. I was wondering if the `(polymorhic) variants would help 
not to have that much types for the variants

> Ah yes. I didn't had the time to submit anything, but I'll look at it
> again and again. I'm only interested in the lightening division since I
> hate sacrificing my sleeping time.

yes, nice try :-)

> Did you send somehting ?

The idea was really funny. I spent too much time for the compiler and too less 
time for a genius ant :-) We send two ants, but the good ideas came 
afterwards, as usual :-) There are still some private ant-contests going on, 
and someone announced a ant which could not be beaten (he said)... 
I'll try to write a ant, just to see what my compiler generates ....

cheers
 Michael

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners