Remove cached pyid_to_type when encountering error (#205) #207
No reviewers
Labels
No Milestone
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: M-Labs/nac3#207
Loading…
Reference in New Issue
No description provided.
Delete Branch "host_var_err_msg"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
After caching the type of a host object for handling recursive types, if we encounter errors like incompatible types, the cache should be removed for the
report_modinit
to work properly.Keeping the wrong cache there might also cause the type check for other function to miss some errors related to that host object
a8c52c4a94
toc99173f9a8
force-pushed to format the modified part of the code in this PR.
How did you find this problem? Do you have example code that demonstrates it?
Just by looking at the code. Yes, the code is as below.
This is only a really minor point though, because we still will not let any ill-typed program to pass since as long as there is one type error, we do not go to the codegen phase.
output at
59ac5aae8a
:output after this PR:
errors in both functions using the value
ga
are shown.