Confusing type error message when comparing Array.length to a double

[siddharth-krishna]

This is the offending script:

let list = [Array.length []] in
[if (a > 0.0) then 1.0 else 0.0 | a <- list]

A potentially related script with a confusing message:

I'd expect it to say could not match the type int with double.