GitLab

use import mach.int.Int63
let rec foo (x: int63): int63
  variant { x }
= foo (x - 1)

File "foo.mlw", line 4, characters 2-13:
no default order for o

It would be good if range types were usable as variants without having to use of_int. In fact, the ordering relation is much simpler than in the int case, since we do not even have to choose an arbitrary lower bound.

Note also that the error message is rather poor since it mentions an automatically generated binder.