Mercurial > urweb
annotate tests/jscomp.ur @ 973:e30c2409c9d0
More interpreter debugging
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 22 Sep 2009 13:41:23 -0400 |
parents | 733f67bb64e7 |
children | b851675a2c3d |
rev | line source |
---|---|
adamc@973 | 1 fun fst [a] [b] (x : a) (y : b) = x |
adamc@973 | 2 fun snd [a] [b] (x : a) (y : b) = y |
adamc@973 | 3 |
adamc@971 | 4 fun main () = |
adamc@971 | 5 s <- source ""; |
adamc@973 | 6 s' <- source ""; |
adamc@973 | 7 f <- source (plus 1); |
adamc@973 | 8 f2 <- source fst; |
adamc@973 | 9 r <- source {A = "x", B = "y"}; |
adamc@971 | 10 |
adamc@971 | 11 return <xml><body> |
adamc@973 | 12 <ctextbox source={s}/> <ctextbox source={s'}/><br/><br/> |
adamc@972 | 13 |
adamc@972 | 14 Function: <button value="+1" onclick={set f (plus 1)}/> |
adamc@972 | 15 <button value="*3" onclick={set f (times 3)}/><br/><br/> |
adamc@971 | 16 |
adamc@973 | 17 Function2: <button value="Fst" onclick={set f2 fst}/> |
adamc@973 | 18 <button value="Snd" onclick={set f2 snd}/><br/><br/> |
adamc@973 | 19 |
adamc@971 | 20 <button value="Echo" onclick={s <- get s; alert s}/> |
adamc@973 | 21 <button value="-" onclick={s <- get s; alert (show (-(readError s : int)))}/> |
adamc@971 | 22 <button value="+1" onclick={s <- get s; alert (show (readError s + 1))}/> |
adamc@971 | 23 <button value="*3" onclick={s <- get s; alert (show ((readError s) * 3))}/> |
adamc@973 | 24 <button value="f" onclick={s <- get s; f <- get f; alert (show (f (readError s)))}/><br/><br/> |
adamc@973 | 25 |
adamc@973 | 26 <button value="f2" onclick={s <- get s; s' <- get s'; f2 <- get f2; alert (f2 s s')}/><br/><br/> |
adamc@973 | 27 |
adamc@973 | 28 <button value="A" onclick={r <- get r; alert r.A}/> |
adamc@973 | 29 <button value="B" onclick={r <- get r; alert r.B}/> |
adamc@971 | 30 </body></xml> |