We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
%default total interface S where pop : {_ : Unit} -> Unit S where pop = ?fooo
The signature may have an auto-implicit parameter with any quantity, in fact. But the name must be _.
auto
_
Code typechecks
Error: While processing right hand side of Stack implementation at X:15:1--20:14. {conArg:2503} is not a valid argument in pop s
Lack of name, of any non-_ name, of explicitness of a parameter makes the bug disappear.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Steps to Reproduce
The signature may have an
auto
-implicit parameter with any quantity, in fact. But the name must be_
.Expected Behavior
Code typechecks
Observed Behavior
Lack of name, of any non-
_
name, of explicitness of a parameter makes the bug disappear.The text was updated successfully, but these errors were encountered: