[NF] Add case for MUTABLE in Typing.typeExp.

Belonging to [master]: - #2877
OpenModelica · Jan 15, 2019 · 1f99d4a · 1f99d4a
1 parent 5e47a15
commit 1f99d4a
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Compiler/NFFrontEnd/NFTyping.mo b/Compiler/NFFrontEnd/NFTyping.mo
@@ -1105,6 +1105,14 @@ algorithm
     case Expression.SUBSCRIPTED_EXP()
       then (exp, exp.ty, Expression.variability(exp));
 
+    case Expression.MUTABLE()
+      algorithm
+        e1 := Mutable.access(exp.exp);
+        (e1, ty, variability) := typeExp(e1, origin, info);
+        exp.exp := Mutable.create(e1);
+      then
+        (exp, ty, variability);
+
     case Expression.PARTIAL_FUNCTION_APPLICATION()
       then Function.typePartialApplication(exp, origin, info);