Layering: Suspicious dependency from Parser to TcEvidence
There is an import from Parser to TcEvidence module. Why does the parser need to know about type checking?
The parser should produce an AST and through the AST (and global modules) be isolated from the rest of the compiler pipeline.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.8.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |