Well, it seems you're right! I've removed the extraneous code (on
GitHub). Thanks.
On 10/05/2016 01:22 AM, Michael Rohs wrote:
Hi,
listEdit is one of the demos. Looking through it I was surprised that these
lines in the add function
head' <- get head;
case head' of
Nil => set head cons
| _ => return ()
are necessary. I changed them to
return ()
and it still works, as I expected, so the relevant part becomes
in
set tail cons;
set tailP tail';
return ()
end
Is this correct or am I missing something?
Best,
Michael
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
