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
Just a note in passing: it is a bad idea to use uncapitalized polymorphic variant constructors. See "polymorphic variant types" in section 6.4 and "tag-name" in section 6.3 of the reference manual.
Actually, there is no good reason to refuse create private type abbreviations for fixed polymorphic variants and objects. However, allowing in would require checking a lot of code in the compiler.
Original bug ID: 6025
Reporter: @diml
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:26:33Z)
Resolution: fixed
Priority: low
Severity: text
Version: 4.01.0+dev
Target version: 4.01.1+dev
Fixed in version: 4.02.0+dev
Category: typing
Bug description
I think that now that OCaml has private type abbreviations this error message is a bit confusing:
type t = private [ `a ];;
Error: This fixed type has no row variable
Precising that private type abbreviations are not allowed for polymorphic variants and objects should be enough.
The text was updated successfully, but these errors were encountered: