From d4646bbb7f107e3c773bec5e18fd44f435ac40ca Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 30 Apr 2009 15:10:13 -0400 Subject: List notations --- tests/list.ur | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to 'tests/list.ur') diff --git a/tests/list.ur b/tests/list.ur index 480bdd3e..472b9ea1 100644 --- a/tests/list.ur +++ b/tests/list.ur @@ -1,22 +1,22 @@ fun isNil (t ::: Type) (ls : list t) = case ls of - Nil => True + [] => True | _ => False fun delist (ls : list string) : xbody = case ls of - Nil => Nil - | Cons (h, t) => {[h]} :: {delist t} + [] => Nil + | h :: t => {[h]} :: {delist t} fun callback ls = return {delist ls} fun main () = return - {[isNil (Nil : list bool)]}, - {[isNil (Cons (1, Nil))]}, - {[isNil (Cons ("A", Cons ("B", Nil)))]} + {[isNil ([] : list bool)]}, + {[isNil (1 :: [])]}, + {[isNil ("A" :: "B" :: [])]} -

{delist (Cons ("X", Cons ("Y", Cons ("Z", Nil))))}

- Go! +

{delist ("X" :: "Y" :: "Z" :: [])}

+ Go! -- cgit v1.2.3