Mercurial > urweb

view tests/unurlify.ur @ 1244:1eedc9086e6c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Use key information in more places, and catch cases where one key completion depends on another having happened already
author Adam Chlipala <adamc@hcoop.net>
date Sun, 18 Apr 2010 13:00:36 -0400
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>