Mercurial > urweb
view tests/list.ur @ 757:fa2019a63ea4
Basis.list
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 30 Apr 2009 11:07:29 -0400 |
parents | 71bafe66dbe1 |
children | 8323c1beef2e |
line wrap: on
line source
fun isNil (t ::: Type) (ls : list t) = case ls of Nil => True | _ => False fun delist (ls : list string) : xbody = case ls of Nil => <xml>Nil</xml> | Cons (h, t) => <xml>{[h]} :: {delist t}</xml> fun main () = return <xml><body> {[isNil (Nil : list bool)]}, {[isNil (Cons (1, Nil))]}, {[isNil (Cons ("A", Cons ("B", Nil)))]} <p>{delist (Cons ("X", Cons ("Y", Cons ("Z", Nil))))}</p> </body></xml>