tests/reject/tnot.nim


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

discard """
  file: "system.nim"
  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()