aboutsummaryrefslogtreecommitdiffhomepage
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
commit9b6136387980544fe8c8a8eba41a5fb16d0595c5 (patch)
tree89728704d7e0ae538803840021a54aa285296084 /tests/jsparse.ur
parent9f1c85cf0ef4be94bf189dea486806298f09ab51 (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>