22 lines
341 B
Nim
22 lines
341 B
Nim
discard """
|
|
file: "tnot.nim"
|
|
line: 14
|
|
errormsg: "type mismatch"
|
|
"""
|
|
# BUG: following compiles, but should not:
|
|
|
|
proc nodeOfDegree(x: Int): bool =
|
|
result = false
|
|
|
|
proc main =
|
|
for j in 0..2:
|
|
for i in 0..10:
|
|
if not nodeOfDegree(1) >= 0: #ERROR_MSG type mismatch
|
|
Echo "Yes"
|
|
else:
|
|
Echo "No"
|
|
|
|
main()
|
|
|
|
|
|
|