Consider this:
type A = { X: int }
type B = { X: int }
let _x: (A -> int) list = [
fun a -> a.X
if true then fun a -> a.X
]This fails with a type inference error:
Adding yield works:
let _x: (A -> int) list = [
yield fun a -> a.X
if true then yield fun a -> a.X
]As does type annotations to both a parameters:
let _x: (A -> int) list = [
fun (a: A) -> a.X
if true then fun (a: A) -> a.X
]As does removing the if:
let _x: (A -> int) list = [
fun a -> a.X
fun a -> a.X
]As a developer with no knowledge of the compiler, I can't see a compelling reason why I get the error. I would expect it to work.
Consider this:
This fails with a type inference error:
Adding
yieldworks:As does type annotations to both
aparameters:As does removing the
if:As a developer with no knowledge of the compiler, I can't see a compelling reason why I get the error. I would expect it to work.