Parameterized Syntax: Undeclared type error

[TarVK]

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:

1. Declare:

syntax Opt[&K] = | &K;
syntax P = "a";

2. Try to execute #Opt[P]
3. Observer error: "Undeclared type: Opt"

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):

• Context: VSCode extension, Commandline REPL
• Rascal Version: 0.28.3

[jurgenvinju]

thanks @TarVK ; will have a look.