Repro steps
let func = fun () -> 3
Expected behavior
Type hint containing : (unit -> int) (with or without the parentheses).
Actual behavior
Related information
- VS integration built from the current main branch
The issue originates in this function
retTy is the int type, while the solution of tau is unit -> int, which is what we're looking for in the hint. I don't want to touch this, because I have no idea what ramifications it could have across the compiler.
Repro steps
let func = fun () -> 3Expected behavior
Type hint containing
: (unit -> int)(with or without the parentheses).Actual behavior
Related information
The issue originates in this function
retTyis theinttype, while the solution oftauisunit -> int, which is what we're looking for in the hint. I don't want to touch this, because I have no idea what ramifications it could have across the compiler.