6502/kickc
1
0
Fork 0
mirror of https://gitlab.com/camelot/kickc.git synced 2024-11-23 08:32:39 +00:00
Code Issues Projects Releases Wiki Activity

Fixed type inference for rangenext

Browse Source
This commit is contained in:
jespergravgaard 2019-05-18 12:43:13 +02:00
parent 13cc9e453c
commit 06aed186e2
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/main/java/dk/camelot64/kickc/model/types/SymbolTypeInference.java
View File

@ -118,7 +118,12 @@ public class SymbolTypeInference {
} else if(rValue instanceof RangeComparison) {
return ((RangeComparison) rValue).getType();
} else if(rValue instanceof RangeNext) {
return inferType(symbols, ((RangeNext) rValue).getRangeFirst());
SymbolType rangedType = inferType(symbols, ((RangeNext) rValue).getRangeFirst());
if(SymbolType.SBYTE.equals(rangedType) || SymbolType.SWORD.equals(rangedType) || SymbolType.SDWORD.equals(rangedType)) {
return SymbolType.SBYTE;
} else {
return SymbolType.BYTE;
}
} else if(rValue instanceof ProcedureRef) {
Procedure procedure = symbols.getProcedure((ProcedureRef) rValue);
return procedure.getType();