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

ISLE: Syntax sugar for when external constructors and extractors use the same name in Rust and ISLE #3528

Open

fitzgen opened this issue Nov 15, 2021 · 0 comments

Labels

enhancement isle

Member

fitzgen commented Nov 15, 2021

Originally cfallin/isle#2

Right now we have
(decl get_i32 () Type)
(extern constructor get_i32 get_i32)
But we should be able to do
(decl get_i32 () Type)
(extern constructor get_i32)
to have both names be the same.

fitzgen added the isle label

cfallin added the enhancement label

cfallin added this to ISLE DSL enhancements

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment