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: 5983 Reporter:@alainfrisch Status: closed (set by @xavierleroy on 2015-12-11T18:24:09Z) Resolution: open Priority: normal Severity: minor Target version: 4.02.0+dev Category: typing Related to:#5936
Bug description
class c = object end;;
class c : object end
module type S = sig val x : #c [> `A] end;;
Error: Unbound class c
Did you mean c?
I believe the syntax "#c [> ...]" is (i) deprecated and (ii) only used to make sense when c is an abbreviation for a polymorphic variant type.
My preference would be to remove the syntax altogether, if possible, and otherwise to report a better error message for the case above.
The text was updated successfully, but these errors were encountered:
Original bug ID: 5983
Reporter: @alainfrisch
Status: closed (set by @xavierleroy on 2015-12-11T18:24:09Z)
Resolution: open
Priority: normal
Severity: minor
Target version: 4.02.0+dev
Category: typing
Related to: #5936
Bug description
class c = object end;;
class c : object end
module type S = sig val x : #c [> `A] end;;
Error: Unbound class c
Did you mean c?
I believe the syntax "#c [> ...]" is (i) deprecated and (ii) only used to make sense when c is an abbreviation for a polymorphic variant type.
My preference would be to remove the syntax altogether, if possible, and otherwise to report a better error message for the case above.
The text was updated successfully, but these errors were encountered: