Add constraints of the form <Occurrence>.<Property> = <Term> to attach metadata to declarations. A d : ty constraint could even be desugared to d.type := ty. We can generate constructors for the labels, and strategies for easy access (e.g. get-type and set-type).

Submitted by Hendrik van Antwerpen on 7 September 2016 at 16:55

On 8 September 2016 at 00:23 Hendrik van Antwerpen commented:

Registering properties works, but I need to add some strategies to access them conveniently.


On 8 September 2016 at 10:59 Hendrik van Antwerpen tagged inprogress

On 9 September 2016 at 19:36 Hendrik van Antwerpen commented:

Done, the old types and values for declarations are now unified into properties -- although type is builtin, and can be written as d : ty still.


On 9 September 2016 at 19:36 Hendrik van Antwerpen closed this issue.

Log in to post comments