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: 6514 Reporter:@alainfrisch Status: acknowledged (set by @damiendoligez on 2014-08-18T13:12:39Z) Resolution: open Priority: low Severity: feature Target version: later Category: typing
Bug description
By uniformity with the type-based selection of constructors in expression and patterns, the following should be accepted:
type t = ..
type s = ..
type t += A
type s += A
type t += B = A
The text was updated successfully, but these errors were encountered:
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.
Seems I missed this one. While this makes sense, I'm a bit concerned that this selection has semantics implications: for extensible types, two constructors with the same name are not equivalent.
typet = ..
moduleA=structtypet += C end
moduleB=structtype t +=CendopenAleta : t =CopenBletb : t =Clet e = (a = b) ;;
vale : bool=false
Here we are talking of real overloading. This is already bad to have it inside expressions, but suggesting to allow it inside types to is just one more degree.
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.
Original bug ID: 6514
Reporter: @alainfrisch
Status: acknowledged (set by @damiendoligez on 2014-08-18T13:12:39Z)
Resolution: open
Priority: low
Severity: feature
Target version: later
Category: typing
Bug description
By uniformity with the type-based selection of constructors in expression and patterns, the following should be accepted:
type t = ..
type s = ..
type t += A
type s += A
type t += B = A
The text was updated successfully, but these errors were encountered: