Add melange version of Promise (promise.js)

dune

@@ -1 +1 @@
-(ignored_subdirs (doc esy.lock lib node_modules))
+(dirs src test)

dune-project

@@ -1 +1,2 @@
-(lang dune 1.0)
+(lang dune 3.8)
+(using melange 0.1)

promise.opam

@@ -17,6 +17,7 @@ depends: [
   "ocaml"
   "reason" {build & >= "3.3.2"}
   "result"
+  "melange"
 ]
 
 build: [

src/js/dune

@@ -0,0 +1,10 @@
+(library
+ (name promise_js)
+ (public_name promise.melange)
+ (modes melange)
+ (wrapped false)
+ (libraries melange.belt)
+ (preprocess
+  (pps melange.ppx))
+ (flags
+  (:standard -w +A-102-20)))

src/js/promise.re

@@ -19,7 +19,7 @@ let onUnhandledException = ref(exn => {
 
 
 
-[%%bs.raw {|
+[%%mel.raw {|
 function PromiseBox(p) {
     this.nested = p;
 };
@@ -90,7 +90,6 @@ module Js_ = {
 
   external relax: promise('a) => rejectable('a, _) = "%identity";
 
-  [@bs.val]
   external jsNew:
     (('a => unit) => ('e => unit) => unit) => rejectable('a, 'e) = "make";
 
@@ -105,10 +104,8 @@ module Js_ = {
     (p, resolve^, reject^);
   };
 
-  [@bs.val]
   external resolved: 'a => rejectable('a, _) = "resolved";
 
-  [@bs.val]
   external flatMap:
     (rejectable('a, 'e), 'a => rejectable('b, 'e)) => rejectable('b, 'e) =
       "then";
@@ -125,20 +122,16 @@ module Js_ = {
       v
     });
 
-  [@bs.scope "Promise"]
-  [@bs.val]
+  [@mel.scope "Promise"]
   external rejected: 'e => rejectable(_, 'e) = "reject";
 
-  [@bs.val]
   external catch:
     (rejectable('a, 'e), 'e => rejectable('a, 'e2)) => rejectable('a, 'e2) =
       "catch_";
 
-  [@bs.val]
   external unbox: 'a => 'a = "unbox";
 
-  [@bs.scope "Promise"]
-  [@bs.val]
+  [@mel.scope "Promise"]
   external jsAll: 'a => 'b = "all";
 
   let allArray = promises =>
@@ -162,8 +155,7 @@ module Js_ = {
   let all6 = (p1, p2, p3, p4, p5, p6) =>
     jsAll((p1, p2, p3, p4, p5, p6));
 
-  [@bs.scope "Promise"]
-  [@bs.val]
+  [@mel.scope "Promise"]
   external jsRace: array(rejectable('a, 'e)) => rejectable('a, 'e) = "race";
 
   let race = promises =>

test/bundle/dune

@@ -0,0 +1,4 @@
+(library
+ (name bundle)
+ (modes melange)
+ (libraries melange.belt promise.melange))

test/ffi/js/dune

@@ -0,0 +1,11 @@
+(library
+ (name test_ffi_js)
+ (modes melange)
+ (libraries framework_js)
+ (wrapped false)
+ (preprocess
+  (pps melange.ppx)))
+
+(copy_files
+ (mode fallback)
+ (files ../native/*.re))

test/js/test_ffi.re → test/ffi/js/test_ffi.re

@@ -4,7 +4,7 @@
 
 
 
-[%%bs.raw {|
+[%%mel.raw {|
 function isPromise (p) {
     return (p instanceof Promise);
 }
@@ -14,13 +14,8 @@ function isPromiseLike(v) {
 };
 |}];
 
-[@bs.val]
 external isPromise: Promise.Js.t(_, _) => bool = "isPromise";
-
-[@bs.val]
 external jsPromiseIsPromise: Js.Promise.t(_) => bool = "isPromise";
-
-[@bs.val]
 external jsPromiseIsPromiseLike: Js.Promise.t(_) => bool = "isPromiseLike";
 
 
@@ -70,15 +65,15 @@ let interopTests = Framework.suite("interop", [
   }),
 
   test("js promise is reason-promise", () => {
-    let js_promise: Promise.t(int) = [%bs.raw {|Promise.resolve(1)|}];
+    let js_promise: Promise.t(int) = [%mel.raw {|Promise.resolve(1)|}];
     js_promise
     ->Promise.flatMap(n => Promise.resolved(n + 1))
     ->Promise.flatMap(n => Promise.resolved(n == 2));
   }),
 
   test("reason-promise as js argument", () => {
     module Then = {
-      [@bs.send.pipe: Promise.t('a)]
+      [@mel.send.pipe: Promise.t('a)]
       external js_then: ('a => Promise.t('b)) => Promise.t('b) =
         "then";
     };
@@ -243,7 +238,7 @@ let soundnessTests = Framework.suite("soundness", [
 
   [@ocaml.warning "-33"]
   test("resolved: Almost-Promise-like", () => {
-    let open Js_OO;
+    /* let open Js_OO; */
     Promise.resolved(makeAlmostPromiseLike(42))
     ->Promise.flatMap(x => Promise.resolved(x##_then == 42));
   }),

test/ffi/native/dune

@@ -0,0 +1,3 @@
+(library
+ (name test_ffi)
+ (libraries framework))

test/framework/js/dune

@@ -0,0 +1,9 @@
+(library
+ (name framework_js)
+ (modes melange)
+ (wrapped false)
+ (libraries promise_js))
+
+(copy_files
+ (mode fallback)
+ (files ../native/*.re))

test/framework/native/dune

@@ -1,3 +1,3 @@
 (library
- (name run)
+ (name framework)
  (libraries promise))

test/isoresult/js/dune

@@ -0,0 +1,5 @@
+(library
+ (name isoresult_js)
+ (modes melange)
+ (wrapped false)
+ (libraries melange.belt))

test/js/benchmark.re

@@ -8,7 +8,6 @@ let test = Framework.test;
 
 
 
-[@bs.val]
 external hrtime: unit => (int, int) = "process.hrtime";
 
 let hrtime = () => {

test/js/dune

@@ -0,0 +1,9 @@
+(copy_files
+ (mode fallback)
+ (files ../native/*.re))
+
+(melange.emit
+ (target test)
+ (libraries framework_js promise_js isoresult_js test_ffi_js)
+ (preprocess
+  (pps melange.ppx)))

test/native/dune

@@ -1,3 +1,3 @@
-(library
- (name test_ffi)
- (libraries framework))
+(executable
+ (name test_main)
+ (libraries isoresult promise test_ffi))