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
Original bug ID: 6057 Reporter:@protz Assigned to:@garrigue Status: closed (set by @xavierleroy on 2015-12-11T18:20:01Z) Resolution: not a bug Priority: normal Severity: minor Category: typing Related to:#6014#6056 Monitored by:@gasche
Bug description
If I recall correctly my master's internship, there's no theoretical reason why the following should work:
# let x, y = (fun x -> x), fun x -> x;;
val x : 'a -> 'a =
val y : 'a -> 'a =
while the following does not:
# match (fun x -> x), fun x -> x with x, y -> x, y;;
- : ('_a -> '_a) * ('_b -> '_b) = (, )
In other words, when writing match e with p, e should be generalized.
Jacques, is that difficult to implement?
Additional information
(This was initially filed as a companion issue to #6056 to make sure we have a separate bug for the separate issue.)
The text was updated successfully, but these errors were encountered:
Original bug ID: 6057
Reporter: @protz
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:20:01Z)
Resolution: not a bug
Priority: normal
Severity: minor
Category: typing
Related to: #6014 #6056
Monitored by: @gasche
Bug description
If I recall correctly my master's internship, there's no theoretical reason why the following should work:
while the following does not:
In other words, when writing match e with p, e should be generalized.
Jacques, is that difficult to implement?
Additional information
(This was initially filed as a companion issue to #6056 to make sure we have a separate bug for the separate issue.)
The text was updated successfully, but these errors were encountered: