timotheecour
commented
4 years ago - [ ] sigmatch err shd show loc of candidates eg: this is hard to grok:
when defined case2: # D20200419T033153
var a = 10
var b: uint = 12
for i in a..b:
echo $($type(i), i)
=> looks like some weird transfo was applied, and no clear reference to
template dotdotImpl(t) {.dirty.} =
iterator `..`*(a, b: t): t {.inline.} =t10581.nim(37, 13) Error: type mismatch: got <HSlice[system.int, system.uint]>
but expected one of:
iterator items(E: typedesc[enum]): E:type
first type mismatch at position: 1
required type for E: type enum
but expression 'a .. b' is of type: HSlice[system.int, system.uint]
iterator items(a: cstring): char
first type mismatch at position: 1
required type for a: cstring
but expression 'a .. b' is of type: HSlice[system.int, system.uint]
iterator items(a: string): char
first type mismatch at position: 1
required type for a: string
but expression 'a .. b' is of type: HSlice[system.int, system.uint]
iterator items[IX, T](a: array[IX, T]): T
first type mismatch at position: 1
required type for a: array[IX, T]
but expression 'a .. b' is of type: HSlice[system.int, system.uint]
iterator items[T](a: openArray[T]): T
first type mismatch at position: 1
required type for a: openArray[T]
but expression 'a .. b' is of type: HSlice[system.int, system.uint]
iterator items[T](a: seq[T]): T
first type mismatch at position: 1
required type for a: seq[T]
but expression 'a .. b' is of type: HSlice[system.int, system.uint]
iterator items[T](a: set[T]): T
first type mismatch at position: 1
required type for a: set[T]
but expression 'a .. b' is of type: HSlice[system.int, system.uint]
iterator items[T](s: HSlice[T, T]): T
first type mismatch at position: 1
required type for s: HSlice[items.T, items.T]
but expression 'a .. b' is of type: HSlice[system.int, system.uint]
expression: items(a .. b)
for i in a..b:
links
[ ] [TODO] [feature] Nim error messages should show line contents, would save lots of debugging time · Issue #7586 · nim-lang/Nim
[ ] [TODO] [error messages]: show col using visible marker instead of newline + caret, saves 2 lines per msg by timotheecour · Pull Request #7636 · nim-lang/Nim
[ ] [TODO] address #7586: make hintsSource print context for all msgs, add by timotheecour · Pull Request #7635 · nim-lang/Nim
[ ] [RFC] type mismatch error message improvement · Issue #87 · nim-lang/RFCs
[ ] More colorful error messages by beef331 · Pull Request #16356 · nim-lang/Nim