Vesa Karvonen wrote: > FYI, I was able to work around Alice ML's special use semantics by > using a queue and a stack of queues to simulate the use process. The > UseLib has now been revised and works with Alice ML as well as > Poly/ML, SML/NJ, and Moscow ML. >
Oh, cool! Not sure I understand what the "use process" is that you are referring to, though. Cheers, - Andreas _______________________________________________ alice-users mailing list [email protected] http://www.ps.uni-sb.de/mailman/listinfo/alice-users
