blob: 472b9ea171e17a4ae02b26d994d192ce26e51eb0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
fun isNil (t ::: Type) (ls : list t) =
case ls of
[] => True
| _ => False
fun delist (ls : list string) : xbody =
case ls of
[] => <xml>Nil</xml>
| h :: t => <xml>{[h]} :: {delist t}</xml>
fun callback ls = return <xml><body>
{delist ls}
</body></xml>
fun main () = return <xml><body>
{[isNil ([] : list bool)]},
{[isNil (1 :: [])]},
{[isNil ("A" :: "B" :: [])]}
<p>{delist ("X" :: "Y" :: "Z" :: [])}</p>
<a link={callback ("A" :: "B" :: [])}>Go!</a>
</body></xml>
|
