As support for Derefences (*v) in type inference (maybe still missing other operators like "&"

Author: garbervetsky

Backend/Analyses/TypeInferenceAnalysis.cs

@@ -114,6 +114,12 @@ public override void Visit(LoadInstruction instruction)
 				{
 					instruction.Result.Type = instruction.Operand.Type;
 				}
+
+				if (instruction.Operand is Dereference)
+				{
+					var deref = instruction.Operand as Dereference;
+					instruction.Result.Type = deref.Reference.Type;
+				}
 			}
 
 			public override void Visit(LoadTokenInstruction instruction)
@@ -206,7 +212,7 @@ public override void Visit(BinaryInstruction instruction)
 				}
 			}
 		}
-
+		
 		#endregion
 
 		private ControlFlowGraph cfg;