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: 4819 Reporter: till Assigned to:@garrigue Status: closed (set by @garrigue on 2010-05-21T03:51:47Z) Resolution: fixed Priority: normal Severity: feature Fixed in version: 3.12.0+dev Category: ~DO NOT USE (was: OCaml general) Related to:#4478 Monitored by:@ygrek jm
Bug description
When dealing with long record definitions error messages such as:
sig type t = { a : int; b : int; c : int; d : int; } end
is not included in
sig type t = { a : int; b : int; c : int; } end
become hard to read because divergences are not pointed out explicitly
Module signature handle this in a nice way:
Modules do not match:
sig val a : int val b : int val c : int end
is not included in
sig val a : int val b : int val c : int val d : int end
The field `d' is required but not provided
it would be great to have this for records too.
Additional information
Other types such as variants and objects could probably benefit from such an improved error reporting.
The text was updated successfully, but these errors were encountered:
Original bug ID: 4819
Reporter: till
Assigned to: @garrigue
Status: closed (set by @garrigue on 2010-05-21T03:51:47Z)
Resolution: fixed
Priority: normal
Severity: feature
Fixed in version: 3.12.0+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #4478
Monitored by: @ygrek jm
Bug description
When dealing with long record definitions error messages such as:
sig type t = { a : int; b : int; c : int; d : int; } end
is not included in
sig type t = { a : int; b : int; c : int; } end
become hard to read because divergences are not pointed out explicitly
Module signature handle this in a nice way:
Modules do not match:
sig val a : int val b : int val c : int end
is not included in
sig val a : int val b : int val c : int val d : int end
The field `d' is required but not provided
it would be great to have this for records too.
Additional information
Other types such as variants and objects could probably benefit from such an improved error reporting.
The text was updated successfully, but these errors were encountered: