Undefined identifier error for generic type argument

[taichi-ishitani]

Veryl reports an undefined identifier error for a generic type argument pointing a type locally defined.
For exmaple:

package PackageA {
  function FuncA::<T> -> T {
    var a: T;
    a = 0;
    return a;
  }
}

module ModuleA {
  type my_logic = logic;
  let _a: logic = PackageA::FuncA::<my_logic>();
}

[taichi-ishitani]

To get valid generated SV code, the original type declaration need to be copied to the generated package declaration.

[dalance]

This is a known restriction. ref: https://doc.veryl-lang.org/book/05_language_reference/14_generics.html

Additionally, the actual parameters should be accessible at the position of the generics declaration. For example, module names can be used as actual parameters because it is accessible through the whole project. On the other hand, local parameters can’t be used as actual parameters in many cases. This is caused by that the local parameters is not accessible from the potision of the generics declaration.

The above case should be written like below:

package PackageA {
  type my_logic = logic;
  function FuncA::<T> -> T {
    var a: T;
    a = 0;
    return a;
  }
}

module ModuleA {
  let _a: logic = PackageA::FuncA::<PackageA::my_logic>();
}

Copying the type declaration will not work fine in many cases like below:

module ModuleA #(
  param my_logic: type = logic,
) {
  let _a: logic = PackageA::FuncA::<my_logic>();
}

module ModuleA #(
  param TYPE: type = logic,
) {
  type my_logic = TYPE;
  let _a: logic = PackageA::FuncA::<my_logic>();
}