@mcc right now I'm focusing on two cases where I can raise warnings:
- Ranges that can be reduced, where the boundaries of the tests never reach the literal boundaries set in the program.
- Linear logic that can be reduced.
Top-level
@mcc right now I'm focusing on two cases where I can raise warnings: - Ranges that can be reduced, where the boundaries of the tests never reach the literal boundaries set in the program. No comments
|