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

Hide interface definitions #116

Merged

affeldt-aist merged 1 commit into master from hide_intf_defs

Jul 26, 2023

Collaborator

garrigue commented Jul 26, 2023

Use Let for interface definitions when building instance, to avoid shadowing the interface.


          Hide interface definitions in instances

2b42d60

garrigue force-pushed the hide_intf_defs branch from ed929c3 to 2b42d60 Compare

July 26, 2023 13:09

affeldt-aist merged commit a05885e into master

4 checks passed

affeldt-aist deleted the hide_intf_defs branch

July 26, 2023 23:34

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

Labels

None yet