Hello,

I have the following code-fragment

----------------
import structure Channel from "x-alice:/lib/data/Channel"

fun forall nil f = ()
   | forall (x::xs) f = (f x; forall xs f);

val c = Channel.channel()
val s = Channel.toList (c)

----------
Upon invoking the "forall" function with the (lazy) list 's',
's'  becomes a future.

I am not fully sure that I understand how this works.
Can anyone please help.

Thanks,
Priya

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.



_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users

Reply via email to