On 14/03/11 01:32, Lyle Kopnicky wrote:
Hmm, OK. It does say on the web documentation that once a variable is bound to
a value, the fault stream is closed. Certainly it shouldn't crash if I try to
kill it, but I guess it doesn't make sense to do that.
Hi Lyle,
No, it shouldn't crash. There should be a bug report associated to this issue.
Can you verify if there is anything equivalent in the bug tracker at
GForge/UCL? and if there is nothing, can you fill in one?
Thanks.
Boriss
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users