[NF] Handle SUBSCRIPTED_EXP in Typing.typeExp.

Belonging to [master]: - OpenModelica/OMCompiler#2566
OpenModelica · Jul 5, 2018 · 52c826a · 52c826a
1 parent 7f60f82
commit 52c826a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Compiler/NFFrontEnd/NFTyping.mo b/Compiler/NFFrontEnd/NFTyping.mo
@@ -1061,6 +1061,10 @@ algorithm
       then
         (exp, ty, var1);
 
+    // Subscripted expressions are assumed to already be typed.
+    case Expression.SUBSCRIPTED_EXP()
+      then (exp, exp.ty, Expression.variability(exp));
+
     else
       algorithm
         Error.assertion(false, getInstanceName() + " got unknown expression: " + Expression.toString(exp), sourceInfo());