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: 6155 Reporter:@Drup Assigned to:@gasche Status: closed (set by @xavierleroy on 2015-12-11T18:24:03Z) Resolution: not a bug Priority: normal Severity: minor Version: 4.01.0+beta/+rc Category: typing
Bug description
The following syntax is not accepted in .mli files :
type t1 = t2 = < a : string >
It's accepted for anything else than an object type.
This seems to be already the case in 4.00.1.
The text was updated successfully, but these errors were encountered:
This feature is documented in the manual ( http://caml.inria.fr/pub/docs/manual-ocaml/manual016.html ) as the combination of both a "type equation", adding an equality with an already-defined type expression, and a "type definition", introducing a new datatype (or generative type, if you wish), that is a sum type or a record, or re-exporting an existing datatype, for the purpose of introducing the datatype constructors/fields in the current scope as well.
Your example fails just as well with other already-defined type expressions, such as (int) or [ A | B ]. It wouldn't be much useful as (int), `A or #foo are already in scope anyway. I don't think any change is required.
Original bug ID: 6155
Reporter: @Drup
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2015-12-11T18:24:03Z)
Resolution: not a bug
Priority: normal
Severity: minor
Version: 4.01.0+beta/+rc
Category: typing
Bug description
The following syntax is not accepted in .mli files :
type t1 = t2 = < a : string >
It's accepted for anything else than an object type.
This seems to be already the case in 4.00.1.
The text was updated successfully, but these errors were encountered: