From 06aed186e2d053c8aa4e092b56e3fc2ebf5f17a5 Mon Sep 17 00:00:00 2001
From: jespergravgaard <jesper@balmangravgaard.dk>
Date: Sat, 18 May 2019 12:43:13 +0200
Subject: [PATCH] Fixed type inference for rangenext

---
 .../camelot64/kickc/model/types/SymbolTypeInference.java   | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/main/java/dk/camelot64/kickc/model/types/SymbolTypeInference.java b/src/main/java/dk/camelot64/kickc/model/types/SymbolTypeInference.java
index 75ef3d7e5..4a244cbdb 100644
--- a/src/main/java/dk/camelot64/kickc/model/types/SymbolTypeInference.java
+++ b/src/main/java/dk/camelot64/kickc/model/types/SymbolTypeInference.java
@@ -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();