summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-08-11 11:26:37 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-08-11 11:26:37 -0400
commit86a182be33c265cd436d8ac4a8bb7baf797d9195 (patch)
tree89728704d7e0ae538803840021a54aa285296084 /tests
parent1f98468265e6f5d652ed107a0bd89a319eca0297 (diff)
Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?:
Diffstat (limited to 'tests')
-rw-r--r--tests/jsparse.ur8
-rw-r--r--tests/jsparse.urp3
-rw-r--r--tests/jsparse.urs1
3 files changed, 12 insertions, 0 deletions
diff --git a/tests/jsparse.ur b/tests/jsparse.ur
new file mode 100644
index 00000000..de6c9f1a
--- /dev/null
+++ b/tests/jsparse.ur
@@ -0,0 +1,8 @@
+fun main () =
+ s <- source "13";
+ return <xml><body>
+ <ctextbox source={s}/>
+ <dyn signal={v <- signal s; return (case read v : option int of
+ None => <xml>None</xml>
+ | Some n => <xml>Some {[n]}</xml>)}/>
+ </body></xml>
diff --git a/tests/jsparse.urp b/tests/jsparse.urp
new file mode 100644
index 00000000..7f54bfc1
--- /dev/null
+++ b/tests/jsparse.urp
@@ -0,0 +1,3 @@
+debug
+
+jsparse
diff --git a/tests/jsparse.urs b/tests/jsparse.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/jsparse.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page