# HG changeset patch # User Adam Chlipala # Date 1238859984 14400 # Node ID cc58941da3e255f3737b3a142f31f7859b64f77c # Parent 01b6f2ee2ef0b9a91231db0f18b7f85736850c35 Checking spans in dyns diff -r 01b6f2ee2ef0 -r cc58941da3e2 lib/js/urweb.js --- a/lib/js/urweb.js Thu Apr 02 15:12:06 2009 -0400 +++ b/lib/js/urweb.js Sat Apr 04 11:46:24 2009 -0400 @@ -154,6 +154,10 @@ throw "Can't parse float: " + s; } +function cat(s1, s2) { + return s1 + s2; +} + function whine(msg) { alert(msg); throw msg; diff -r 01b6f2ee2ef0 -r cc58941da3e2 lib/ur/basis.urs --- a/lib/ur/basis.urs Thu Apr 02 15:12:06 2009 -0400 +++ b/lib/ur/basis.urs Sat Apr 04 11:46:24 2009 -0400 @@ -375,8 +375,8 @@ con tabl = [Body, Table] con tr = [Body, Tr] -val dyn : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> unit - -> tag [Signal = signal (xml ctx use bind)] ctx [] use bind +val dyn : use ::: {Type} -> bind ::: {Type} -> unit + -> tag [Signal = signal (xml body use bind)] body [] use bind val head : unit -> tag [] html head [] [] val title : unit -> tag [] head [] [] [] @@ -393,6 +393,8 @@ val br : bodyTagStandalone [] +val span : bodyTag [] + val p : bodyTag [] val b : bodyTag [] val i : bodyTag [] diff -r 01b6f2ee2ef0 -r cc58941da3e2 src/jscomp.sml --- a/src/jscomp.sml Thu Apr 02 15:12:06 2009 -0400 +++ b/src/jscomp.sml Sat Apr 04 11:46:24 2009 -0400 @@ -49,7 +49,8 @@ (("Basis", "urlifyInt"), "ts"), (("Basis", "urlifyFloat"), "ts"), (("Basis", "urlifyString"), "uf"), - (("Basis", "recv"), "rv")] + (("Basis", "recv"), "rv"), + (("Basis", "strcat"), "cat")] structure FM = BinaryMapFn(struct type ord_key = string * string diff -r 01b6f2ee2ef0 -r cc58941da3e2 tests/dynSpan.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/dynSpan.ur Sat Apr 04 11:46:24 2009 -0400 @@ -0,0 +1,8 @@ +val x = 1 + +fun main () : transaction page = + s <- source "!"; + return + {[x]}}/> +