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
Maybe the problem is with the text of the warning.
I think that the intended meaning is: C was chosen based on its type information, in absence of type information, a different choice would have been done.
And this is the case here: the default would be b's C.
The goal of this warning is to check compatibility with previous versions of ocaml (and also know whether your code depends on type information).
Original bug ID: 7239
Reporter: furuse
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2017-09-24T15:32:51Z)
Resolution: fixed
Priority: low
Severity: text
Version: 4.02.3
Target version: 4.03.1+dev
Fixed in version: 4.03.1+dev
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @gasche @hcarty
Bug description
The following (pretty artificial) code produces Warning 42, even with disambiguation by a type constraint:
type a = C
type b = C
let a = (C : a) (* Warning 42: this use of C required disambiguation. *)
let b = (C : b)
The text was updated successfully, but these errors were encountered: