Mercurial > urweb

view tests/list.ur @ 1726:4df4521fbd3b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Removed excess zero byte from empty pages. Zero byte sometimes breaks http tunneling in Safari. Empty page is a "Not Modified" response for app.js
author Vladimir Shabanov <vshabanoff@gmail.com>
date Wed, 25 Apr 2012 03:07:07 +0400
parents 9021d44ba6b2
children
line wrap: on
line source
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>