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: 6066 Reporter: meyer Status: acknowledged (set by @damiendoligez on 2014-08-21T09:46:16Z) Resolution: open Priority: low Severity: feature Category: typing Monitored by:@gasche@ygrek@jberdine@hcarty
Bug description
It would be good to support extensible records in the same way as inheritance hierarchy with objects, with the difference that no dynamic dispatch would be involved, thus making them more efficient.
The syntax would be:
record foo = { x : int; y : int }
(* will type to: <@ x : int; y : int ... > *)
record bar = { foo with z : int }
(* will type to: <@ x : int; y : int; z : int; ... > *)
The text was updated successfully, but these errors were encountered:
Original bug ID: 6066
Reporter: meyer
Status: acknowledged (set by @damiendoligez on 2014-08-21T09:46:16Z)
Resolution: open
Priority: low
Severity: feature
Category: typing
Monitored by: @gasche @ygrek @jberdine @hcarty
Bug description
It would be good to support extensible records in the same way as inheritance hierarchy with objects, with the difference that no dynamic dispatch would be involved, thus making them more efficient.
The syntax would be:
The text was updated successfully, but these errors were encountered: