Open kevinclancy opened 8 years ago
Resolution of references to global type aliases inside interfaces is lazy, so we can have mutually recursive interfaces. There should probably be a pass that checks all exported types of a module for dangling references.
Running tlc on the following code generates no errors.