False 'Type mismatch between mach.int.Int63.int63 and int'
use mach.int.Int63
let f (x: int63): int63 =
if x = (0:int63) then (0:int63) else (1:int63)
Type checking the previous example results in:
File "examples/tests/func_literals_extract.mlw", line 3, characters 0-74:
Type mismatch between mach.int.Int63.int63 and int