Mercurial > urweb
comparison tests/tail.ur @ 956:d80734855790
Don't try to check if functions are already tail-recursive
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 17 Sep 2009 17:17:49 -0400 |
parents | 2a50da66ffd8 |
children |
comparison
equal
deleted
inserted
replaced
955:01a4d936395a | 956:d80734855790 |
---|---|
6 else | 6 else |
7 n1 <- rpc (one ()); | 7 n1 <- rpc (one ()); |
8 n2 <- addEm (n - 1); | 8 n2 <- addEm (n - 1); |
9 return (n1 + n2) | 9 return (n1 + n2) |
10 | 10 |
11 fun addEm' n acc = | |
12 if n = 0 then | |
13 return acc | |
14 else | |
15 n1 <- rpc (one ()); | |
16 addEm' (n - 1) (n1 + acc) | |
17 | |
11 fun main () = | 18 fun main () = |
12 s <- source 0; | 19 s <- source 0; |
13 return <xml><body onload={n <- addEm 3; set s n}> | 20 s' <- source 0; |
21 return <xml><body onload={n <- addEm 3; set s n; n <- addEm' 4 0; set s' n; alert "Welcome!"}> | |
14 <dyn signal={n <- signal s; return (txt n)}/> | 22 <dyn signal={n <- signal s; return (txt n)}/> |
23 <dyn signal={n <- signal s'; return (txt n)}/> | |
15 </body></xml> | 24 </body></xml> |