summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-24 10:59:35 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-24 10:59:35 -0500
commitea12b669d50bb0a397ec5449359607ae5d66386a (patch)
treeed728a75e3b146599ac9b78d516f1c139f2f8cac
parent811e5474313fc8fc959bee1a58e51c4c55f350ec (diff)
Test for Firebug weirdness
-rw-r--r--tests/firebug.ur5
-rw-r--r--tests/firebug.urp3
-rw-r--r--tests/firebug.urs1
3 files changed, 9 insertions, 0 deletions
diff --git a/tests/firebug.ur b/tests/firebug.ur
new file mode 100644
index 00000000..9a986983
--- /dev/null
+++ b/tests/firebug.ur
@@ -0,0 +1,5 @@
+fun main () =
+ a <- source "some text";
+ return <xml><body>
+ <label>A: <ctextbox source={a}/></label>
+ </body></xml>
diff --git a/tests/firebug.urp b/tests/firebug.urp
new file mode 100644
index 00000000..c87f596e
--- /dev/null
+++ b/tests/firebug.urp
@@ -0,0 +1,3 @@
+debug
+
+firebug
diff --git a/tests/firebug.urs b/tests/firebug.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/firebug.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page