You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# let f x = (match x with
| None -> 0
| Some _ -> 1) +. 1.;;
Error: This expression has type int but an expression was expected of type
float
File "_none_", line 1: Hint: Did you mean `0.'?
This seems to only happen in the toplevel in non-dumb mode. Both in batch mode and with TERM=dumb, we get the expected:
# let f x = (match x with
| None -> 0
| Some _ -> 1) +. 1.;;
Line 2, characters 16-17:
2 | | None -> 0
^
Error: This expression has type int but an expression was expected of type
float
Hint: Did you mean `0.'?
In the toplevel:
This seems to only happen in the toplevel in non-dumb mode. Both in batch mode and with
TERM=dumb
, we get the expected:cc @gasche
The text was updated successfully, but these errors were encountered: