From 86a182be33c265cd436d8ac4a8bb7baf797d9195 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 11 Aug 2009 11:26:37 -0400 Subject: Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?: --- tests/jsparse.ur | 8 ++++++++ tests/jsparse.urp | 3 +++ tests/jsparse.urs | 1 + 3 files changed, 12 insertions(+) create mode 100644 tests/jsparse.ur create mode 100644 tests/jsparse.urp create mode 100644 tests/jsparse.urs (limited to 'tests') 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 + + None + | Some n => Some {[n]})}/> + 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 -- cgit v1.2.3