[Ur] ListEdit Demo

[Michael Rohs]

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