annotate tests/tsource.ur @ 1907:cb57ba73a61d

make uninstall: Uninstall types_cpp.h, urweb_cpp.h Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
author Anders Kaseorg <andersk@mit.edu>
date Fri, 22 Nov 2013 09:36:14 -0500
parents 607657eb2865
children
rev   line source
adam@1463 1 fun doSubmit r =
adam@1463 2 return <xml>Done {[readError r.Amount1 * readError r.Amount2 * 2.0]}</xml>
adam@1463 3
adam@1463 4 fun main () =
adam@1463 5 amount1S <- source "1";
adam@1463 6 amount2S <- source "1";
adam@1463 7 return <xml> <body>
adam@1463 8 <form>
adam@1463 9 <table>
adam@1463 10 <tr><td>Amount1:</td><td><textbox{#Amount1}
adam@1463 11 source={amount1S}/></td></tr>
adam@1463 12 <tr><td>Amount2:</td><td><textbox{#Amount2}
adam@1463 13 source={amount2S}/></td></tr>
adam@1463 14 <tr><td>Total:</td><td><dyn signal={showTotal amount1S
adam@1463 15 amount2S}/></td></tr>
adam@1463 16 </table>
adam@1463 17 <submit value="Buy" action={doSubmit}/>
adam@1463 18 </form>
adam@1463 19 </body>
adam@1463 20 </xml>
adam@1463 21
adam@1463 22 and showTotal amount1S amount2S =
adam@1463 23 a1 <- signal amount1S;
adam@1463 24 a2 <- signal amount2S;
adam@1463 25 return (case ((read a1), (read a2)) of
adam@1463 26 (None, _) => <xml></xml>
adam@1463 27 | (_, None) => <xml></xml>
adam@1463 28 | (Some a, Some b) => <xml>{[a * b * 2.0]}</xml>)