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: 5981 Reporter:@yallop Assigned to:@garrigue Status: closed (set by @xavierleroy on 2015-12-11T18:18:40Z) Resolution: fixed Priority: normal Severity: major Version: 4.00.1 Fixed in version: 4.01.0+dev Category: typing Related to:#5989 Child of:#5998
Bug description
$ cat incompat.ml
module F(S : sig type 'a t end) =
struct
type _ ab =
A : int S.t ab
| B : float S.t ab
let f : int S.t ab -> float S.t ab -> string =
fun (l : int S.t ab) (r : float S.t ab) -> match l, r with
| A, B -> "f A B"
end
module M = F(struct type 'a t = unit end)
let () = print_endline M.(f A A)
$ ocaml incompat.ml
f A B
Original bug ID: 5981
Reporter: @yallop
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:18:40Z)
Resolution: fixed
Priority: normal
Severity: major
Version: 4.00.1
Fixed in version: 4.01.0+dev
Category: typing
Related to: #5989
Child of: #5998
Bug description
Additional information
Perhaps related to #5785.
The text was updated successfully, but these errors were encountered: