-
Notifications
You must be signed in to change notification settings - Fork 13
Open
Description
@samph reports that this type is not subtypable for a custom macro-defining form that he was interested in writing in connection with the Uke library.
(begin-for-syntax
(struct my-qi qi-macro ()))
;; struct: parent struct type not defined;
;; identifier does not name struct type information in: qi-macro
Formerly qi-macro was a type defined in the Qi codebase, and we later transitioned to using Syntax Spec directly. I verified that the former definition is subtypable using the above example code from Sam, but the latter (current version) isn't.
These recent meeting notes contain more context.
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
No labels