blob: bb3b1e0bb0848767ea378b2753bd1b36b534832d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
datatype list t = Nil | Cons of t * list t
fun handler (ls : list bool) = return <xml/>
datatype wlist = WNil | Empty | WCons of bool * wlist
fun whandler' (ls : wlist) =
case ls of
WNil => <xml>Nil</xml>
| Empty => <xml>Empty</xml>
| WCons (x, ls') => <xml>{[x]} :: {whandler' ls'}</xml>
fun whandler ls = return (whandler' ls)
fun main () : transaction page = return <xml><body>
<a link={handler Nil}>!</a><br/>
<a link={whandler WNil}>Nil</a><br/>
<a link={whandler Empty}>Empty</a><br/>
<a link={whandler (WCons (True, WCons (False, Empty)))}>True :: False :: Empty</a><br/>
</body></xml>
|
