Infinite loop when printing error message with recursive type.

[cristianoc]

./bsc -uncurried test.res

// test.res
type rec tt = [
  | #List(list<tt>)
]
type sexp = tt

/* {2 Serialization (encoding)} */


let rec expr_starting_with = (c, k, t) =>
  switch c {
  | '(' => expr_list(list{}, k, t)
  | c => atom(k, t)
  }

/* parse list */
and expr_list = (acc, k, t) => {
  switch assert(false) {
  | ')' => k(None, #List(acc))
  | c =>
    expr_starting_with(
      c,
      (last, e) =>
        switch last {
        | _ => expr_list(list{e, ...acc}, k, t)
        },
      t,
    )
  }
}
/* parse atom */
and atom = (k, t) => {
  let _ = atom(k)
  assert(false)
}

[cristianoc]

In the last function let _ = atom(k, t) would have the right arity.

[DZakh]

Just found the same bug in rescript-schema 😂

[cristianoc]

Just found the same bug in rescript-schema 😂

Do you have a different example, to make sure that's not 2 different issues?

[DZakh]

Sorry for the confusion. I meant the bug in my library code when I generate a parsing error for the recursive type. Not related to the compiler 😁

[cristianoc]

Correct error:

  We've found a bug for you!
  tst.res:35:11-14

  33 │ /* parse atom */
  34 │ and atom = (k, t) => {
  35 │   let _ = atom(k)
  36 │   assert(false)
  37 │ }

  This uncurried function has type
    ((option<'a>, ([> #List(list<'b>)] as 'b)) => 'c, 'd) => 'c
  It is applied with 1 arguments but it requires 2.