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

parsing external def doesn't allow using explicit type parameters #1170

Closed
johnynek opened this issue Mar 16, 2024 · 0 comments · Fixed by #1188
Closed

parsing external def doesn't allow using explicit type parameters #1170

johnynek opened this issue Mar 16, 2024 · 0 comments · Fixed by #1188

Comments

@johnynek
Copy link
Owner 

external def foo(a: a) -> Int

is allowed but

external def foo[a](a: a) -> Int

isn't

This is inconsistent with def.
@johnynek johnynek changed the title parting external def doesn't allow using explicit type parameters parsing external def doesn't allow using explicit type parameters Mar 23, 2024
@johnynek johnynek mentioned this issue Mar 25, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Improve external def parsing johnynek/bosatsu
1 participant
@johnynek