This file should not typecheck
With necroparse 0.14.7.1, the file
type nat
type term = | Const nat
type value = | Nat nat
type option<a> = | None | Some a
val eval (t: term) : option<value> =
match t with
| Const l → Some<value> (Nat l)
end
val exec (t: term) : option<nat> = eval t
typechecks while it should not (this is a regression from 0.12).