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

On 30 March 2016 at 13:54 Gabriël Konat tagged ts

On 10 April 2017 at 11:49 Gabriël Konat closed this issue.

Log in to post comments