# HG changeset patch # User Adam Chlipala # Date 1230671305 18000 # Node ID bb8463c3b7122f9b7986f6018612dc9dcc20d621 # Parent 0094e024210002743fd5f359899a9d4eb52bd0f8 Propagating a change through a bind diff -r 0094e0242100 -r bb8463c3b712 jslib/urweb.js --- a/jslib/urweb.js Tue Dec 30 15:53:04 2008 -0500 +++ b/jslib/urweb.js Tue Dec 30 16:08:25 2008 -0500 @@ -1,18 +1,42 @@ +function cons(v, ls) { + return { n : ls, v : v }; +} function callAll(ls) { for (; ls; ls = ls.next) ls.v(); } -function sc(v) { return {v : v, h : null} } -function sv(s, v) { s.v = v; callAll(s.h); } +function sc(v) { + return {v : v, h : null}; +} +function sv(s, v) { + s.v = v; + callAll(s.h); +} -function ss(s) { return s } -function sr(v) { return {v : v, h : null} } -function sb(x,y) { return {v : y(x.v).v, h : null} } +function ss(s) { + return s; +} +function sr(v) { + return {v : v, h : null}; +} +function sb(x,y) { + var z = y(x.v); + var s = {v : z.v, h : null}; + + function reZ() { + z.h = cons(function() { s.v = z.v; callAll(s.h); }, z.h); + } + + x.h = cons(function() { z = y(x.v); reZ(); s.v = z.v; callAll(s.h); }, x.h); + reZ(); + + return s; +} function dyn(s) { var x = document.createElement("span"); x.innerHTML = s.v; document.body.appendChild(x); - s.h = { n : s.h, v : function() { x.innerHTML = s.v } }; + s.h = cons(function() { x.innerHTML = s.v }, s.h); } diff -r 0094e0242100 -r bb8463c3b712 tests/reactive4.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/reactive4.ur Tue Dec 30 16:08:25 2008 -0500 @@ -0,0 +1,7 @@ +fun main () : transaction page = + x <- source TEST; + return + !{y}?}/> +
+ CHANGEUP}>Oh My + diff -r 0094e0242100 -r bb8463c3b712 tests/reactive4.urp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/reactive4.urp Tue Dec 30 16:08:25 2008 -0500 @@ -0,0 +1,3 @@ +debug + +reactive4