Extending record type fields

Description

One proposal for giving users the ability to add their own fields to the record type used for logging to a particular stream in the new logging framework involves redef-ing the record type to add new fields. Example syntax:

I'm even thinking that fields added in redefs could even be mandatory or implicitly &optional to avoid causing errors with shipped scripts.

Environment

None

Assignee

Robin Sommer

Reporter

Seth Hall

Labels

External issue ID

375

Components

Fix versions

Priority

Normal
Configure