Mercurial > urweb
view tests/unurlify.ur @ 1904:686fa4e7f397
xml/parse: Accept entity files on the command line
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
Makefile.am | 2 +-
xml/parse.sml | 4 +---
2 files changed, 2 insertions(+), 4 deletions(-)
| author | Anders Kaseorg <andersk@mit.edu> |
|---|---|
| date | Fri, 22 Nov 2013 09:36:14 -0500 |
| parents | ebf27030ae3b |
| children |
line wrap: on
line source
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>