Regression: range type stops being correctly inferred between 11.5.2 and 11.5.3
NeilMacMullen opened this issue · comments
Possibly related to #134
In 11.5.2 the query
range x from 0 to 5 step 0.5
generates this tree
List: range x from 0 to 5 step 0.5:
SeparatedElement: range x from 0 to 5 step 0.5:
ExpressionStatement: range x from 0 to 5 step 0.5:
RangeOperator: range x from 0 to 5 step 0.5: (x: real)
NameDeclaration: x:
TokenName: x:
LongLiteralExpression: 0: long
LongLiteralExpression: 5: long
RealLiteralExpression: 0.5: real
In 11.5.3 the RangeOperator incorrectly infers that x is long...
List: range x from 0 to 5 step 0.5:
SeparatedElement: range x from 0 to 5 step 0.5:
ExpressionStatement: range x from 0 to 5 step 0.5:
RangeOperator: range x from 0 to 5 step 0.5: (x: long)
NameDeclaration: x:
TokenName: x:
LongLiteralExpression: 0: long
LongLiteralExpression: 5: long
RealLiteralExpression: 0.5: real
This is fixed in 11.5.4