Mercurial > urweb

comparison tests/rpcList2.ur @ 1547:553a5cc3a4b5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix another list unurlification segfault bug; List.foldlMi
author Adam Chlipala <adam@chlipala.net>
date Sun, 21 Aug 2011 13:41:57 -0400
parents 5f530f8e3511
children
comparison
equal deleted inserted replaced
1546:133c71008bef 1547:553a5cc3a4b5
1 fun rpcFunc l : transaction {} = return () 1 fun showList l = case l of
2 [] => "[]"
3 | h :: t => strcat (strcat (show h) " :: ") (showList t)
4
5 fun rpcFunc l : transaction string =
6 case l of h :: _ => return (showList h) | [] => return "[]"
2 7
3 fun main () : transaction page = return <xml><body> 8 fun main () : transaction page = return <xml><body>
4 <button onclick={ 9 <button onclick={
5 rpc (rpcFunc (("" :: []) :: [])) 10 s <- rpc (rpcFunc (("foo" :: []) :: []));
11 alert s
6 }/> 12 }/>
7 </body></xml> 13 </body></xml>