Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[FEATURE] Tag expressions with the types that are computed by the type checker #608

Closed
konnov opened this issue Feb 25, 2021 · 0 comments · Fixed by #618
Closed

[FEATURE] Tag expressions with the types that are computed by the type checker #608

konnov opened this issue Feb 25, 2021 · 0 comments · Fixed by #618
Assignees
@konnov
Labels
FTC-Snowcat Feature: Fully-functional type checker Snowcat new New issue to be triaged.
Milestone
Typechecker Snowcat

Comments

@konnov
Copy link
Collaborator

konnov commented Feb 25, 2021

The type checker reports about computed types by calling a listener. We should record the computed types and tag the expressions.
@konnov konnov added new New issue to be triaged. FTC-Snowcat Feature: Fully-functional type checker Snowcat labels Feb 25, 2021
@konnov konnov added this to the February iteration milestone Feb 25, 2021
@konnov konnov self-assigned this Feb 25, 2021
konnov added a commit that referenced this issue Mar 3, 2021
@konnov
close #608
d5fa066
@konnov konnov mentioned this issue Mar 3, 2021
Merged
4 tasks
@apalache-bot apalache-bot mentioned this issue Mar 15, 2021
Closed
This was referenced Mar 29, 2021
Closed
Merged
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@konnov konnov

Labels
FTC-Snowcat Feature: Fully-functional type checker Snowcat new New issue to be triaged.
Projects
None yet
Milestone
Typechecker Snowcat
Development

Successfully merging a pull request may close this issue.

Recover types from the type checker apalache-mc/apalache
2 participants
@konnov @shonfeder