search

BosqueLanguage / BosqueCore

Other
145 stars 5 forks source link

Virtual Tuple/Record accessors #17

Closed BosqueLanguage closed 3 weeks ago

BosqueLanguage commented 1 year ago

Currently tuple/record accesses require the base expression type to be a "unique" tuple (record). We want to relax this to allow accessing from union types like let r: {f: Int, g: Bool} | {h: Nat, f:Int} = ...; then doing r.f should be supported.

This also relates to optional spreads and, later, project/update operations.

BosqueLanguage commented 3 weeks ago

Closing as we have deprecated tuples/records.