[Ur] ListEdit Demo

[Adam Chlipala]

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