Details
Description
Because of the characteristics of this test harness it will probably need to be defined as an external, non jtreg, test. The idea is to check the following, not a comprehensive list:
- Types on the ASTs must be the same for both approaches just after the corresponding attribution approach ends
- TA must execute the same unique type checks as SA during it's check phase, a different order is acceptable though
- Propagation, or not, of stuck expressions to the corresponding enclosing context and their subsequent "unstucking" must be equivalent on both approaches
- Types on the ASTs must be the same for both approaches just after the corresponding attribution approach ends
- TA must execute the same unique type checks as SA during it's check phase, a different order is acceptable though
- Propagation, or not, of stuck expressions to the corresponding enclosing context and their subsequent "unstucking" must be equivalent on both approaches