-
Notifications
You must be signed in to change notification settings - Fork 149
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
Rules for substrBytes #1264
Rules for substrBytes #1264
Conversation
If these are intended for use for the haskell backend, they should not be in a module marked [kast]. |
They should specifically be in a module marked |
It should be for the Haskell backend. Looking here, I assume the module should be named |
Not sure about what the right import is: |
It should probably import BYTES-KORE because that's what the haskell backend uses. |
@hjorthjort please update this to (i) remove all the |
Closing as this is likely outdated and has horrible conflicts at this point. Re-open if still needed @hjorthjort . |
It was suggested these rules from the Ewasm semantics should be upstreamed.