update

Author: bloodyowl

jscomp/test/ari_regress_test.js

@@ -15,7 +15,7 @@ let g1 = (x, y) => {
 }
 let x = gg(3, 5)(6)
 
-let v = g1(3)(4, 6)
+let v = yy => g1(3, 4)(6, yy)
 
 let suites = {
   open Mt

jscomp/test/ari_regress_test.res

@@ -2,7 +2,7 @@ let suites: ref<Mt.pair_suites> = ref(list{})
 let test_id = ref(0)
 
 let eq = (loc, x, y) => Mt.eq_suites(~test_id, ~suites, loc, x, y)
-let b = Mt.bool_suites(~test_id, ~suites)
+let b = (loc, x) => Mt.bool_suites(~test_id, ~suites, loc, x)
 
 let f = (x, y) => Pervasives.compare(x + y, y + x)
 

jscomp/test/bs_min_max_test.js

@@ -769,18 +769,19 @@ module Re_automata: {
 
   let reset_table = a => Array.fill(a, 0, Array.length(a), false)
 
-  let rec mark_used_indices = tbl =>
+  let rec mark_used_indices = (tbl, list) =>
     List.iter(x =>
       switch x {
-      | E.TSeq(l, _, _) => mark_used_indices(tbl, l)
+      | E.TSeq(l, _, _) => mark_used_indices(tbl, list)
       | E.TExp(marks, _)
       | E.TMatch(marks) =>
         List.iter(((_, i)) =>
           if i >= 0 {
             tbl[i] = true
           }
         , marks.Marks.marks)
-      }
+      },
+      list
     )
 
   let rec find_free = (tbl, idx, len) =>
@@ -804,11 +805,12 @@ module Re_automata: {
 
   /* *** Computation of the next state *** */
 
-  let remove_matches = List.filter(x =>
+  let remove_matches = l => List.filter(x =>
     switch x {
     | E.TMatch(_) => false
     | _ => true
-    }
+    },
+    l
   )
 
   let rec split_at_match_rec = (l', x) =>
@@ -985,7 +987,7 @@ module Re_automata: {
 
   /* ** */
 
-  let prepend_deriv = List.fold_right(((s, x), l) => Cset.prepend(s, x, l))
+  let prepend_deriv = (x, y) => List.fold_right(((s, x), l) => Cset.prepend(s, x, l), x, y)
 
   let rec restrict = (s, x) =>
     switch x {

jscomp/test/bs_min_max_test.res

@@ -2,10 +2,10 @@ let a = {
   let v = ref(3)
   let action = () => incr(v)
   let f = h =>
-    ((x, y) => h(x, y))({
+    z => ((x, y) => h(x, y))({
       action()
       3
-    })
+    })(z)
   \"@@"(ignore, f(\"+"))
   \"@@"(ignore, f(\"+"))
   v.contents
@@ -15,10 +15,10 @@ let b = {
   let v = ref(3)
   let action = () => incr(v)
   let f = h =>
-    ((x, y) => h(x, y))({
+    z => ((x, y) => h(x, y))({
       action()
       3
-    })
+    })(z)
   \"@@"(ignore, f(\"+"))
   \"@@"(ignore, f(\"+"))
   v.contents
@@ -28,13 +28,13 @@ let c = {
   let v = ref(3)
   let action = () => incr(v)
   let f = h =>
-    ((x, y) => h(x, y))(
+    z => ((x, y) => h(x, y))(
       2,
       {
         action()
         3
       },
-    )
+    )(z)
   \"@@"(ignore, f(\"+"))
   \"@@"(ignore, f(\"+"))
   v.contents
@@ -44,11 +44,11 @@ let d = {
   let v = ref(3)
   let action = () => incr(v)
   let f = (h, g) =>
-    ((x, y) => h(x, y))({
+    z => ((x, y) => h(x, y))({
       let v = 3
       action()
       v * v
-    })
+    })(z)
   \"@@"(ignore, f(\"+", 3))
   \"@@"(ignore, f(\"+", 3))
   v.contents