some of earger_curry_test

Author: zth

jscomp/test/earger_curry_test.res

@@ -1,19 +1,19 @@
-let f = g => (. x) => g(x)
+let f = g => x => g(x)
 
 let map = (f, a) => {
   let l = Array.length(a)
   if l == 0 {
     []
   } else {
-    let r = Array.make(l, f(. Array.unsafe_get(a, 0)))
+    let r = Array.make(l, f(Array.unsafe_get(a, 0)))
     for i in 1 to l - 1 {
-      Array.unsafe_set(r, i, f(. Array.unsafe_get(a, i)))
+      Array.unsafe_set(r, i, f(Array.unsafe_get(a, i)))
     }
     r
   }
 }
 
-let map = (type u v, f: u => v, a: array<u>): array<v> => map((. x) => f(x), a)
+let map = (type u v, f: u => v, a: array<u>): array<v> => map(x => f(x), a)
 
 let init = (l, f) =>
   if l == 0 {
@@ -24,24 +24,24 @@ let init = (l, f) =>
     /* See #6575. We could also check for maximum array size, but this depends
      on whether we create a float array or a regular one... */
 
-    let res = Array.make(l, f(. 0))
+    let res = Array.make(l, f(0))
     for i in 1 to pred(l) {
-      Array.unsafe_set(res, i, f(. i))
+      Array.unsafe_set(res, i, f(i))
     }
     res
   }
 
-let init = (l, f) => init(l, (. x) => f(x))
+let init = (l, f) => init(l, x => f(x))
 
 let fold_left = (f, x, a) => {
   let r = ref(x)
   for i in 0 to Array.length(a) - 1 {
-    r := f(. r.contents, Array.unsafe_get(a, i))
+    r := f(r.contents, Array.unsafe_get(a, i))
   }
   r.contents
 }
 
-let fold_left = (f, x, a) => fold_left((. x, y) => f(x, y), x, a)
+let fold_left = (f, x, a) => fold_left((x, y) => f(x, y), x, a)
 
 @val external timeStart: string => unit = "console.time"
 
@@ -97,8 +97,8 @@ let add5 = (a0, a1, a2, a3, a4) => {
   a0 + a1 + a2 + a3 + a4
 }
 
-let f = x =>
-  /* let u = */ add5(
+let f = x => /* let u = */ (a, b) =>
+  add5(
     x,
     {
       incr(v)
@@ -108,26 +108,31 @@ let f = x =>
       incr(v)
       2
     },
+    a,
+    b,
   ) /* in */
 /* all_v := !v :: !all_v ;
  u */
 
 let g = x => {
-  let u = add5(
-    x,
-    {
-      incr(v)
-      1
-    },
-    {
-      incr(v)
-      2
-    },
-  )
+  let u = (a, b) =>
+    add5(
+      x,
+      {
+        incr(v)
+        1
+      },
+      {
+        incr(v)
+        2
+      },
+      a,
+      b,
+    )
   all_v := list{v.contents, ...all_v.contents}
   u
 }
-let a = f(0, 3, 4)
+let a = f(0)(3, 4)
 
 let b = f(0, 3, 5)