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: 5140 Reporter: montagu Assigned to:@alainfrisch Status: closed (set by @alainfrisch on 2012-01-18T09:38:55Z) Resolution: duplicate Priority: normal Severity: minor Version: 3.12.0 Category: ~DO NOT USE (was: OCaml general) Duplicate of:#5078 Monitored by:@protz
Bug description
The constraints allowed in package types are inconsistent with the constraints allowed for signatures.
Assume
module type S = sit type 'a t end
Then
module type S' = S with 'a t = 'a list
is allowed, whereas
type s = (module S with type 'a t = 'a list)
is forbidden. It should be allowed as well.
The text was updated successfully, but these errors were encountered:
The branch fstclassmod_parametrized in the OCaml SVN repository allows more kinds of constraints (in particular, constraints on parametrized types). Feel free to try it!
Original bug ID: 5140
Reporter: montagu
Assigned to: @alainfrisch
Status: closed (set by @alainfrisch on 2012-01-18T09:38:55Z)
Resolution: duplicate
Priority: normal
Severity: minor
Version: 3.12.0
Category: ~DO NOT USE (was: OCaml general)
Duplicate of: #5078
Monitored by: @protz
Bug description
The constraints allowed in package types are inconsistent with the constraints allowed for signatures.
Assume
module type S = sit type 'a t end
Then
module type S' = S with 'a t = 'a list
is allowed, whereas
type s = (module S with type 'a t = 'a list)
is forbidden. It should be allowed as well.
The text was updated successfully, but these errors were encountered: