Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/tests/tail.ur Thu Sep 17 17:11:23 2009 -0400 +++ b/tests/tail.ur Thu Sep 17 17:17:49 2009 -0400 @@ -8,8 +8,17 @@ n2 <- addEm (n - 1); return (n1 + n2) +fun addEm' n acc = + if n = 0 then + return acc + else + n1 <- rpc (one ()); + addEm' (n - 1) (n1 + acc) + fun main () = s <- source 0; - return <xml><body onload={n <- addEm 3; set s n}> + s' <- source 0; + return <xml><body onload={n <- addEm 3; set s n; n <- addEm' 4 0; set s' n; alert "Welcome!"}> <dyn signal={n <- signal s; return (txt n)}/> + <dyn signal={n <- signal s'; return (txt n)}/> </body></xml>