typhon icon indicating copy to clipboard operation
typhon copied to clipboard

Linter does not consider sequence properly

Open washort opened this issue 7 years ago • 0 comments

monte lint reports false positives for names that are defined in a scope but have uses before the definition.

This source:

x
def x := 0
x

produces this report:

bad.mt:3.1-4.2: Undefined name x
bad.mt:1.1-2.2: Undefined name x

Only the second line is correct. Proper name usage analysis will need to take ordering into consideration.

washort avatar Jul 24 '17 15:07 washort