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

Derivation of trait implementations #51

Open
yannbolliger opened this issue Nov 18, 2020 · 0 comments
Open

Derivation of trait implementations #51

yannbolliger opened this issue Nov 18, 2020 · 0 comments
Labels
extraction Feature or bug with the extraction phase feature Something needs to be added

Comments

@yannbolliger
Copy link
Collaborator

In theory, #[derive(SomeTrait)] works already now, because the macro simply generates an impl SomeTrait for X block, which we can deal with quite well.
However, the most frequently used traits like Clone, PartialEq generate code that uses very advanced features which stainless doesn't yet support.

In summary: we support the implementation derivation but not the resulting implementations.

=> Discuss: Should we try to support some of the most useful traits, especially Clone?
@romac romac added extraction Feature or bug with the extraction phase feature Something needs to be added labels Feb 26, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
extraction Feature or bug with the extraction phase feature Something needs to be added
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@romac @yannbolliger