diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2016-10-05 04:38:20 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2016-10-05 04:38:20 -0400 |
| commit | 3ee59d83f279e1e57dc7cf1e47d05e304afc703d (patch) | |
| tree | 4bb291bbc792a73b9aca470ed4a9f5a47635bc06 /demo | |
| parent | c98872439db4ffacd818c82b4d6e0498c342f225 (diff) | |
Simplify listEdit demo (thanks, Michael Rohs!)
Diffstat (limited to 'demo')
| -rw-r--r-- | demo/listEdit.ur | 7 |
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> |