Mercurial > urweb
annotate tests/tryRpc.ur @ 1909:659d1f4e95bf
make dist: Use fewer wildcards
The remaining ones only work by accident:
http://www.gnu.org/software/automake/manual/html_node/Wildcards.html
and they have some practical problems too (we don?t really want to
distribute include/urweb/config.h or src/config.sml), but this is
enough for now to pass ?make distcheck? as long as we don?t run it
from a separate build directory.
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
Makefile.am | 6 +++---
src/c/Makefile.am | 2 +-
2 files changed, 4 insertions(+), 4 deletions(-)
| author | Anders Kaseorg <andersk@mit.edu> |
|---|---|
| date | Fri, 22 Nov 2013 09:36:14 -0500 |
| parents | e15234fbb163 |
| children |
| rev | line source |
|---|---|
| adam@1848 | 1 fun isBeppo (s : string) : transaction string = |
| adam@1848 | 2 case s of |
| adam@1848 | 3 "Beppo" => return "Yup, that's him!" |
| adam@1848 | 4 | "Mephisto" => error <xml>Great googely moogely!</xml> |
| adam@1848 | 5 | _ => return "Who's that?" |
| adam@1848 | 6 |
| adam@1848 | 7 fun listOf (n : int) = |
| adam@1848 | 8 if n < 0 then |
| adam@1848 | 9 error <xml>Negative!</xml> |
| adam@1848 | 10 else if n = 0 then |
| adam@1848 | 11 return [] |
| adam@1848 | 12 else |
| adam@1848 | 13 ls <- listOf (n - 1); |
| adam@1848 | 14 return (n :: ls) |
| adam@1848 | 15 |
| adam@1848 | 16 fun length ls = |
| adam@1848 | 17 case ls of |
| adam@1848 | 18 [] => 0 |
| adam@1848 | 19 | _ :: ls' => 1 + length ls' |
| adam@1848 | 20 |
| adam@1848 | 21 fun main () : transaction page = |
| adam@1848 | 22 s <- source ""; |
| adam@1848 | 23 ns <- source ""; |
| adam@1848 | 24 return <xml><body> |
| adam@1848 | 25 <ctextbox source={s}/> |
| adam@1848 | 26 <button value="rpc" onclick={fn _ => v <- get s; |
| adam@1848 | 27 r <- rpc (isBeppo v); |
| adam@1848 | 28 alert r}/> |
| adam@1848 | 29 <button value="tryRpc" onclick={fn _ => v <- get s; |
| adam@1848 | 30 r <- tryRpc (isBeppo v); |
| adam@1848 | 31 case r of |
| adam@1848 | 32 None => alert "Faaaaaailure." |
| adam@1848 | 33 | Some r => alert ("Success: " ^ r)}/> |
| adam@1848 | 34 |
| adam@1848 | 35 <hr/> |
| adam@1848 | 36 |
| adam@1848 | 37 <ctextbox source={ns}/> |
| adam@1848 | 38 <button value="rpc" onclick={fn _ => v <- get ns; |
| adam@1848 | 39 r <- rpc (listOf (readError v)); |
| adam@1848 | 40 alert (show (length r))}/> |
| adam@1848 | 41 <button value="tryRpc" onclick={fn _ => v <- get ns; |
| adam@1848 | 42 r <- tryRpc (listOf (readError v)); |
| adam@1848 | 43 case r of |
| adam@1848 | 44 None => alert "Faaaaaailure." |
| adam@1848 | 45 | Some r => alert ("Success: " ^ show (length r))}/> |
| adam@1848 | 46 </body></xml> |