Imports to specific stratego modules from TS modules generate false error warnings.

module MetaC-Err/types

imports
  signatures/MetaC-Err-sig
  BaseC/types/Constructors // <-- error: Unresolved reference

Of course the imported module does exist (and works in the src-gen/types/MetaC-Err/types.str file).

Submitted by Arian on 30 November 2015 at 16:26