Mercurial > urweb

view tests/list.ur @ 2166:8a01e8f21de9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make OpenSSL usage thread-safe (closes #206) Enable OpenSSL?s multithreading support by defining locking and thread-ID callbacks. Remove a lock obviated by this change.
author Benjamin Barenblat <bbaren@mit.edu>
date Thu, 06 Aug 2015 10:15:53 -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>