summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2016-10-05 04:38:20 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2016-10-05 04:38:20 -0400
commit3ee59d83f279e1e57dc7cf1e47d05e304afc703d (patch)
tree4bb291bbc792a73b9aca470ed4a9f5a47635bc06
parentc98872439db4ffacd818c82b4d6e0498c342f225 (diff)
Simplify listEdit demo (thanks, Michael Rohs!)
-rw-r--r--demo/listEdit.ur7
1 files changed, 1 insertions, 6 deletions
diff --git a/demo/listEdit.ur b/demo/listEdit.ur
index 5b45d9a2..e75f2d04 100644
--- a/demo/listEdit.ur
+++ b/demo/listEdit.ur
@@ -37,12 +37,7 @@ fun main () =
val cons = Cons {Data = data, NewData = ndata, Tail = tail'}
in
set tail cons;
- set tailP tail';
-
- head' <- get head;
- case head' of
- Nil => set head cons
- | _ => return ()
+ set tailP tail'
end
in
return <xml><body>