[non-expansivity issue] Using 'match' prevents generalization [of values], even though using 'if' allows it #6056
Original bug ID: 6056
In the following two examples, using an 'if' statement allows the function to be generalized, but using 'match' prevents it.
let using_if b =
let using_match b =
A colleague of mine suggests that this is due to the fact that 'match' statements are never considered to be nonexpansive.
The text was updated successfully, but these errors were encountered:
Comment author: @garrigue
Actually, this is wrong: in "match e with p -> ...", e is generalized.