Artifact 8a32ff6b9817056283e0e028d893efdcee4d413a9f1edf545cc579f8324fd604:
- File
bs/codegen/module.h
— part of check-in
[3cf6ab5249]
at
2021-03-04 21:47:51
on branch trunk
—
- Refactored and simplified the way integer and string constants are handled: we no longer try to resolve them during typechecking, this breaks when parametric types are involved and also it makes no sense, typechecking is about types, not values
- Fixed multiple places where locationIds weren't propagated
- Verifier: variable assignments now verify the destination variable type's refinement conditions
- Fixed a test where the above change detected a bug, kept the bugged version as a new verification failure test
A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.