add unknown test

Author: bobzhang

jscomp/test/test_unknown.js

@@ -0,0 +1,22 @@
+'use strict';
+
+var Caml_option = require("../../lib/js/caml_option.js");
+
+function some(x) {
+ return Caml_option.some(x);
+}
+
+function some2(x) {
+ return Caml_option.some(x);
+}
+
+var h = [
+ 3,
+ 2,
+ 2
+];
+
+exports.some = some;
+exports.some2 = some2;
+exports.h = h;
+/* No side effect */

jscomp/test/test_unknown.ml

@@ -0,0 +1,15 @@
+
+
+type t = unknown = 
+ | Unknown : _ -> t [@@unboxed]
+
+
+let some (x : unknown) = Some x 
+
+let some2 x = Some (Unknown x) 
+
+let h = [|Unknown 3 ; Unknown 2 ; Unknown (Some (Unknown 2))|]
+
+type t0 = Any : _ -> t0 [@@unboxed]
+
+type t1 = t0 = Any : _ -> t1 [@@unboxed]