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

"this function takes x arguments but y arguments were supplied" shouldn't be fatal #784

Closed
pcwalton opened this issue Jul 29, 2011 · 1 comment
Closed

"this function takes x arguments but y arguments were supplied" shouldn't be fatal #784

pcwalton opened this issue Jul 29, 2011 · 1 comment
Labels
A-type-system Area: Type system E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@pcwalton
Copy link
Contributor

Instead it should go on and typecheck the rest of the function.
@msullivan
Copy link
Contributor

Doing this is a little ugly since you still need to go typecheck the argument expressions, but still not hard.

keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@bors
Auto merge of rust-lang#784 - Mic92:largefilesupport, r=alexcrichton
96c872c 
Add fstatat64 on Linux/Android
pdietl pushed a commit to pdietl/rust that referenced this issue Apr 23, 2020
@ehuss
Merge pull request rust-lang#784 from bgeron/remove-erroneous-duplica…
89dd146 
…tion

Clarify rule for end-of-line backslashes in strings
bors pushed a commit to rust-lang-ci/rust that referenced this issue Oct 26, 2020
@bjorn3
Merge pull request rust-lang#784 from bjorn3/wip_tls_support
fd6c463 
TLS support
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@wsmoses
Fix typeanalysis recusion bug and noarg gep (rust-lang#784)
f9c7b63 
* Fix typeanalysis recusion bug and noarg gep

* Update TypeAnalysis.cpp
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval @tedinski
Simplify how we invoke compiletest (rust-lang#784)
7617391 
* Simplify how we invoke compiletest

I removed stuff that wasn't needed and I have also added default values
for stuff that doesn't really change for Kani. Now only --suite and
--mode are requied.

This will make it easier for us to manually invoke a single test suite.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-type-system Area: Type system E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pcwalton @msullivan