Open TarVK opened 1 year ago
Describe the bug
When using a parameterized syntax type, type reification does not appear to work. It errors mentioning that the type is not declared
To Reproduce
Steps to reproduce the behavior:
syntax Opt[&K] = | &K; syntax P = "a";
#Opt[P]
Expected behavior The reified type should be returned. This does work properly when using Opt elsewhere, such as:
syntax Q = Opt[P]; #Q;
Screenshots
Desktop (please complete the following information):
thanks @TarVK ; will have a look.
Describe the bug
When using a parameterized syntax type, type reification does not appear to work. It errors mentioning that the type is not declared
To Reproduce
Steps to reproduce the behavior:
#Opt[P]
Expected behavior The reified type should be returned. This does work properly when using Opt elsewhere, such as:
Screenshots
Desktop (please complete the following information):