mirrors/Nim
1
0
Fork 0
mirror of https://github.com/nim-lang/Nim.git synced 2026-01-04 20:17:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

closes #13426; adds a test case (#23642)

Browse Source 
closes #13426
This commit is contained in:
ringabout
2024-05-24 22:55:59 +08:00
committed by GitHub
parent afa5c5a03c
commit daad06bd07
1 changed files with 87 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

87
tests/template/t13426.nim Normal file
View File

@@ -0,0 +1,87 @@
discard """
cmd: "nim check --hints:off $file"
errormsg: ""
nimout: '''
t13426.nim(81, 6) template/generic instantiation of `fun` from here
t13426.nim(80, 24) Error: type mismatch: got <int> but expected 'string'
t13426.nim(81, 6) template/generic instantiation of `fun` from here
t13426.nim(80, 17) Error: type mismatch: got <uint, string>
but expected one of:
proc `and`(x, y: uint): uint
first type mismatch at position: 2
required type for y: uint
but expression 'high(@[1])' is of type: string
proc `and`(x, y: uint64): uint64
first type mismatch at position: 2
required type for y: uint64
but expression 'high(@[1])' is of type: string
10 other mismatching symbols have been suppressed; compile with --showAllMismatches:on to see them
expression: 1'u and high(@[1])
t13426.nim(81, 6) template/generic instantiation of `fun` from here
t13426.nim(80, 17) Error: expression '' has no type (or is ambiguous)
t13426.nim(87, 6) template/generic instantiation of `fun` from here
t13426.nim(86, 22) Error: type mismatch: got <int> but expected 'string'
t13426.nim(87, 6) template/generic instantiation of `fun` from here
t13426.nim(86, 15) Error: type mismatch: got <int literal(1), string>
but expected one of:
proc `and`(x, y: int): int
first type mismatch at position: 2
required type for y: int
but expression 'high(@[1])' is of type: string
proc `and`(x, y: int16): int16
first type mismatch at position: 2
required type for y: int16
but expression 'high(@[1])' is of type: string
proc `and`(x, y: int32): int32
first type mismatch at position: 2
required type for y: int32
but expression 'high(@[1])' is of type: string
proc `and`(x, y: int64): int64
first type mismatch at position: 2
required type for y: int64
but expression 'high(@[1])' is of type: string
proc `and`(x, y: int8): int8
first type mismatch at position: 2
required type for y: int8
but expression 'high(@[1])' is of type: string
proc `and`(x, y: uint): uint
first type mismatch at position: 2
required type for y: uint
but expression 'high(@[1])' is of type: string
proc `and`(x, y: uint16): uint16
first type mismatch at position: 2
required type for y: uint16
but expression 'high(@[1])' is of type: string
proc `and`(x, y: uint32): uint32
first type mismatch at position: 2
required type for y: uint32
but expression 'high(@[1])' is of type: string
proc `and`(x, y: uint64): uint64
first type mismatch at position: 2
required type for y: uint64
but expression 'high(@[1])' is of type: string
proc `and`(x, y: uint8): uint8
first type mismatch at position: 2
required type for y: uint8
but expression 'high(@[1])' is of type: string
2 other mismatching symbols have been suppressed; compile with --showAllMismatches:on to see them
expression: 1 and high(@[1])
t13426.nim(87, 6) template/generic instantiation of `fun` from here
t13426.nim(86, 15) Error: expression '' has no type (or is ambiguous)
'''
"""
# bug # #13426
block:
template bar(t): string = high(t)
proc fun[A](key: A) =
var h = 1'u and bar(@[1])
fun(0)
block:
template bar(t): string = high(t)
proc fun[A](key: A) =
var h = 1 and bar(@[1])
fun(0)