arity.res

type t = (. ~x: int, ~y: int) => int

let u = (. ~f: t, a, b) => {
  f(. ~x=a, ~y=b)->Js.log
  f(. ~y=b, ~x=a)->Js.log
}

type t0 = (~x: int, ~y: int) => int

let u2 = (~f: t0, a, b) => {
  f(~x=a, ~y=b)->Js.log
  f(~y=b, ~x=a)->Js.log
}

let f = (. ~x, y) => x + y
let add = \"+"
// let u = f(.3,~x=2,1);
// This function has arity2 but was expected arity3

// let h = f (1, 2) ;
// This function has uncurried type, it needs to be applied in ucurried style
// This function has uncurried type, it needs to be applied in ucurried style

// let h = add(.1,2);
// This function is a curried function where an uncurried function is expected

@ocaml.doc("
let u = obj => {
    obj##hai(1, 2) ; 
    obj##hai(3, 4,2)
}
")
@ocaml.doc("
let u = obj => {
    obj##hai(1, 2) ; 
    obj##hai(\"x\",2)
}
")
@ocaml.doc("
let u = obj => {
    obj##hai(1, 2) ; 
    obj##hai(~x=\"x\",2)
}
")
let // This function has arity2 but was expected arity3

// This expression has type string but an expression was expected of type

// This function is applied to arguments
// This function is applied to arguments -- weird message
h = u => {
  let m = u["hi"]
  m(. 1, 2)
}

//
let nested = ({"x": {"y": 3}}: {"x": {"y": int}})