I cannot understand the role of accPIO.
In the example program "slidegame", line 53, I see
# (windowId,world) = openId world
And then the program uses windowId as a window identifier.
Here accPio is not used.
Similar things occurs in hanoi , pickrgb, lifeGameExample, where we have :
startLife (openIds 6 world)
In the object io tutorial manual, page 130 and 131, I see :
openTalkWindow name me you pst
# (inId, pst)= accPIO openId pst
# (outId,pst)= accPIO openId pst
And then inId and outId are used as control ids.
Here accPIO is used.
So, what's the function of accPIO ? in theese cases is it necessary or not ?
its definition seems a little cryptical ...
accPIO :: !.(St (IOSt .l) .x) !(PSt .l) -> (! .x, !PSt .l)
Best regards.
Maurizio.
-----------------------------------------------------------------------------
Il presente messaggio, corredato dei relativi allegati, contiene informazioni
da considerarsi strettamente riservate ed è destinato esclusivamente al
destinatario sopra indicato, il quale è l'unico autorizzato ad usarlo, copiarlo
e, sotto la propria responsabilità, diffonderlo. Chiunque ricevesse questo
messaggio per errore o comunque lo leggesse senza esserne legittimato è
avvertito che trattenerlo, copiarlo, divulgarlo, distribuirlo a persone diverse
dal destinatario è severamente proibito, ed è pregato di rinviarlo
immediatamente al mittente distruggendone l'originale.
This message, together with its annex(es), contains information to be deemed
strictly confidential and is destined only to the addressee(s) identified above
who only may use, copy and, under his/their responsibility, further disseminate
it. If anyone received this message by mistake or reads it without entitlement
is forewarned that keeping, copying, disseminating or distributing this message
to persons other than the addressee(s) is strictly forbidden and is asked to
transmit it immediately to the sender and to erase the original message
received.
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
