diff lib/js/urweb.js @ 841:44c2c089ca15

Start of Option; Basis.current; fix missed cases in Jscomp.isNullable
author Adam Chlipala <adamc@hcoop.net>
date Sun, 07 Jun 2009 11:13:18 -0400
parents 5154a047c6bc
children 0f7e2cca6d9b
line wrap: on
line diff
--- a/lib/js/urweb.js	Sat Jun 06 15:29:34 2009 -0400
+++ b/lib/js/urweb.js	Sun Jun 07 11:13:18 2009 -0400
@@ -210,6 +210,9 @@
     return {sources : union(xr.sources, yr.sources), data : yr.data};
   };
 }
+function scur(s) {
+  return s().data;
+}
 
 function lastParent() {
   var pos = document;