Type checking updates for the new fron-end

Filling up the missing cases for equations and algorithms. Updated binary operation checks.
OpenModelica · Nov 22, 2016 · 60beb68 · 60beb68
1 parent b781dc9
commit 60beb68
Show file tree

Hide file tree

Showing 3 changed files with 586 additions and 106 deletions.
diff --git a/Compiler/NFFrontEnd/NFInst.mo b/Compiler/NFFrontEnd/NFInst.mo
@@ -1005,7 +1005,7 @@ algorithm
         // Instantiate each branch and pair it up with a condition.
         branches := {};
         for branch in scodeEq.thenBranch loop
-          eql := instEEquations(scodeEq.elseBranch, scope);
+          eql := instEEquations(branch, scope);
           exp1 :: expl := expl;
           branches := (exp1, eql) :: branches;
         end for;