Open
Description
I'm confused about something in the %wild hint proposal. How can a function discern from the type alone what the axis of the parent core is? In the ~% hint, that axis is specified as a subexpression, but I don't understand how that information should be encoded in the Hoon type for that core. @matthew-levan was able to get the core name extracted from the ~% hint and stuck into the p.garb.coil of the core type, but I don't know where the parent core axis could be applied to the core type -- maybe something with the seminoun?
cc @joemfb
Metadata
Metadata
Assignees
Labels
No labels