Error with function literals
I was trying to use function literals as a way to encode sequence literals, but very quickly hit an issue:
use seq.Seq
let boom x : seq int = Seq.create 1 [| x |]
The following program fails to load saying File "../broken.mlw", line 3, characters 28-29: Logical symbol (=) is used in a non-ghost context
It seems like the desugaring for function literals does not work well in program contexts?