Js.Array2.spliceInPlace not compiling without using "add" argument if it is ignored

[JonoPrest]

See playground:
https://rescript-lang.org/try?version=v11.1.3&code=DYUwLgBATiC2D2A3EBJAdgExADwgXggAoBDKKAGggEtMcBKfAPgCgIJSoBaRgKQGcAdAEEyxAJ4AmAXwAOwKgGNUaAArBiSwgD8Z8PnhpZslLTATI8ARjrcqAczTwYzZqEhmkyowHUqYABZCGBj4RByUhvRMrOxk3PzCopLScorKahog2rr6kcYQpnCeVibEwXgA2gC6Noz2jjBAA

let removeIndex = (arr, index) =>
  arr->Js.Array2.spliceInPlace(~pos=index, ~remove=1)->ignore

let removeIndexWithAdd = (arr, index) =>
  arr->Js.Array2.spliceInPlace(~pos=index, ~remove=1, ~add=[])->ignore

Compiles to

// Generated by ReScript, PLEASE EDIT WITH CARE


function removeIndex(arr, index) {
  
}

function removeIndexWithAdd(arr, index) {
  arr.splice(index, 1);
}

export {
  removeIndex ,
  removeIndexWithAdd ,
}
/* No side effect */

[cometkim]

This isn't a bug, but it's a syntactic ambiguity in curried-by-default.

let _ = arr->Js.Array2.spliceInPlace(~pos=index, ~remove=1);
 // ^ (~add: array<'a>) => Js.Arrat2.t<'a>

In uncurried mode:

let _ = arr->Js.Array2.spliceInPlace(~pos=index, ~remove=1, ...);
 // ^ (~add: array<'a>) => Js.Arrat2.t<'a>

So ignore a function can be omitted by the compiler as there are no effects.

[JonoPrest]

This isn't a bug, but it's a syntactic ambiguity in curried-by-default.

let _ = arr->Js.Array2.spliceInPlace(~pos=index, ~remove=1);
 // ^ (~add: array<'a>) => Js.Arrat2.t<'a>

In uncurried mode:

let _ = arr->Js.Array2.spliceInPlace(~pos=index, ~remove=1, ...);
 // ^ (~add: array<'a>) => Js.Arrat2.t<'a>

So ignore a function can be omitted by the compiler as there are no effects.

Ok so this shouldn't be a problem with built in modules that use uncurried mode?

[cometkim]

You will get an error immediately as you don't curry explicitly. There is no chance of getting confused.

https://rescript-lang.org/try?version=v12.0.0-alpha.1&code=DYUwLgBATiC2D2A3EBJAdgExADwgXggAoBDKKAGggEtMcBKfAPgCgIJSoBaRgKQGcAdAEEyxAJ4AmAXwAOwKgGNUaAArBiSwgD8Z8PnhpZslLTATI8ARjrcqAczTwYzZqEhmkyowHUqYABZCGBj4RByUhvRMrOxk3PzCopLScorKahog2rr6kcYQpnCeVibEwXgA2gC6Noz2jjBAA