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: 6668 Reporter:@lpw25 Status: closed (set by @damiendoligez on 2016-03-23T13:10:01Z) Resolution: fixed Priority: normal Severity: tweak Target version: 4.03.0+dev / +beta1 Fixed in version: 4.03.0+dev / +beta1 Category: documentation
Bug description
The grammar for "mod-constraint" includes:
type [type-params] typeconstr type-equation
it should actually be:
type [type-params] typeconstr type-equation { type-constraint }
because constraints are allowed on with constraints (although they don't actually do anything since they must match the definition and are not required if the definition does have them).
The text was updated successfully, but these errors were encountered:
Original bug ID: 6668
Reporter: @lpw25
Status: closed (set by @damiendoligez on 2016-03-23T13:10:01Z)
Resolution: fixed
Priority: normal
Severity: tweak
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: documentation
Bug description
The grammar for "mod-constraint" includes:
it should actually be:
because constraints are allowed on
with
constraints (although they don't actually do anything since they must match the definition and are not required if the definition does have them).The text was updated successfully, but these errors were encountered: