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

Specify handling of duplicate type declarations during elaboration #47

Closed

jopperm opened this issue May 4, 2022 · 1 comment

Labels

bug documentation

Contributor

jopperm commented May 4, 2022

No description provided.

jopperm added bug documentation labels

jopperm mentioned this issue

More Grammar Updates [4] #39

Closed

Contributor Author

jopperm commented May 22, 2022

I made user-defined types subject to the same rules as the other architectural state items, see last sentence in https://github.com/Minres/CoreDSL/wiki/Elaboration#composition-of-architectural-state-and-user-defined-types.

jopperm closed this as completed

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