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

deo/dei: make typing stricter #13

Open
kiedtl opened this issue Sep 10, 2024 · 1 comment
Open

deo/dei: make typing stricter #13

kiedtl opened this issue Sep 10, 2024 · 1 comment
Labels
lang-enhance Enhance existing language feature stdlib

Comments

@kiedtl
Copy link
Owner

kiedtl commented Sep 10, 2024

  • dei should return the exact type defined in the Device definition.
  • deo should take only the exact type defined in the Device definition.
@kiedtl kiedtl added lang-new New language feature proposal stdlib labels Sep 10, 2024
@kiedtl
Copy link
Owner Author

kiedtl commented Sep 10, 2024 •
edited
Loading

Will probably need a new type expression for this: (PortType <val>). Alternatively, (Child) could be repurposed for this, but that might create confusion.

@kiedtl kiedtl added lang-enhance Enhance existing language feature and removed lang-new New language feature proposal labels Sep 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
lang-enhance Enhance existing language feature stdlib
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@kiedtl