-
Notifications
You must be signed in to change notification settings - Fork 148
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.
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
Fix quoting in IDs #2968
Fix quoting in IDs #2968
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Id is not a special sort in k; the compiler should not be providing special behavior for it. This functionality needs to be common to any token sort that isn't marked with the STRING.String or BYTES.Bytes hook
I approved but you might want to add a test for a non Id sort to the test suite also. |
…2431) * haskell-backend/src/main/native/haskell-backend: 272a2e528 - Update dependency: deps/k_release (#2968) * haskell-backend/src/main/native/haskell-backend: 2e5140267 - Update dependency: deps/k_release (#2970) * haskell-backend/src/main/native/haskell-backend: 51edc9821 - Move Kore.Simplify.Rule (#2979)
The problem here is that the re-wrapping of constant-folded values (i.e. after calling the compile-time Java implementation of the hook) into their argument positions will enquote a string result, even if it's of sort
Id
. ForId
results, we want to just construct the token directly..Fixes #2315