From 3ee59d83f279e1e57dc7cf1e47d05e304afc703d Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 5 Oct 2016 04:38:20 -0400 Subject: Simplify listEdit demo (thanks, Michael Rohs!) --- demo/listEdit.ur | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'demo') 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 -- cgit v1.2.3