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

Type Checking Int vs Byte #577

Closed
DavePearce opened this issue Jan 28, 2016 · 0 comments
Closed

Type Checking Int vs Byte #577

DavePearce opened this issue Jan 28, 2016 · 0 comments
Assignees
@DavePearce
Labels
Bug
Milestone
v0.3.38

Comments

@DavePearce
Copy link
Member

For some strange reason, this passes type checking and fails during verification:

function f(byte n) -> int[]:
    return [0; n]

This has only arisen since #495.
@DavePearce DavePearce self-assigned this Jan 28, 2016
@DavePearce DavePearce added this to the v0.3.38 milestone Jan 28, 2016
DavePearce added a commit that referenced this issue Jan 28, 2016
@DavePearce
Fix for #577
8f4ac3b 
This was a simple problem where the count component of an array
generator expression was not being checked as an int.
DavePearce added a commit that referenced this issue Jan 28, 2016
@DavePearce
Hotfix for #577
d8c6789 
For some reason, my commit for #577 didn't include this update to the test
output ... ?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@DavePearce DavePearce

Labels
Bug
Projects
None yet
Milestone
v0.3.38
Development

No branches or pull requests
1 participant
@DavePearce