summaryrefslogtreecommitdiff
path: root/tests/jsparse.ur
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/jsparse.ur
parent1f98468265e6f5d652ed107a0bd89a319eca0297 (diff)
Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?:
Diffstat (limited to 'tests/jsparse.ur')
-rw-r--r--tests/jsparse.ur8
1 files changed, 8 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>