type inference for recursive functions

[edwadli]

No description provided.

[kevin1]

Cant_infer_type

[kevin1]

Read all the code and logic looks good. Give me a bit more time to digest and play around with the branch.

[edwadli]

note if force was set to true (from the FunApply case), this case should not trigger. I could add that to the comments.

[kevin1]

This would be a good negative test case, if we had them (#102):

type t1 = {
  tag = 1
  payload = 0
}

type t2 = {
  tag = 2
  payload = "0"
}

fun Typebender x = (
  if x$tag == 1 then
    Typebender (init t2)
  else
    x$payload
)

PrintEndline (Typebender (init t1))

For reference, the error message given is:

info: Function template type check failed. Inner exception: Both expressions in a conditional must have the same type (string and int found)
error: Incorrect types passed into function Typebender

[kevin1]

A bit of copy-pasted code here. It's not too bad so I filed tech debt #106 to fix it.

[kevin1]

squash 'n 📧 📤 🏃 📮 🚚