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.

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

uint shl uint causes type mismatch compile error #675

Open
demotomohiro opened this issue Mar 3, 2025 · 0 comments
Open

uint shl uint causes type mismatch compile error #675

demotomohiro opened this issue Mar 3, 2025 · 0 comments

Comments

@demotomohiro
Copy link
Collaborator

mytests/test.nim:

discard 1'u shl 1'u
$ ./bin/nimony c -r mytests/test.nim 
bin/nimsem  m nifcache/tes9hvujc.1.nif nifcache/tes9hvujc.2.nif nifcache/tes9hvujc.2.idx.nif
Traceback (most recent call last)
src/nimony/nimsem.nim(116) nimsem
src/nimony/nimsem.nim(113) handleCmdLine
src/nimony/nimsem.nim(50) singleModule
src/nimony/sem.nim(6002) semcheck
src/nimony/sem.nim(758) semStmt
src/nimony/sem.nim(5710) semExpr
src/nimony/sem.nim(3702) semDiscard
src/nimony/sem.nim(5784) semExpr
src/nimony/sem.nim(1712) semCall
/home/player/worktmpfs/nim-2.3.1/lib/system/iterators_1.nim(1544) resolveOverloads
src/nimony/sembasics.nim(165) buildErr
mytests/test.nim(1, 13) Error: Type mismatch at [position]
[2] expected: (i -1) but got: (u -1)
[1] expected: +16 but got: -1
[1] expected: (i +16) but got: (u -1)
[1] expected: +32 but got: -1
[1] expected: (i +32) but got: (u -1)
[1] expected: (i +8) but got: (u -1)
[1] expected: (i +64) but got: (u -1)
[1] expected: +8 but got: -1
Type mismatch at [position]
[2] expected: (i -1) but got: (u -1)
[1] expected: +16 but got: -1
[1] expected: (i +16) but got: (u -1)
[1] expected: +32 but got: -1
[1] expected: (i +32) but got: (u -1)
[1] expected: (i +8) but got: (u -1)
[1] expected: (i +64) but got: (u -1)
[1] expected: +8 but got: -1

lib/std/hashes.nim uses uint and shl.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant