Ur/Web: tests/jscomp.ur annotate

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>

Mercurial > urweb