From dcc0ed6a46a2607284dbfa87ee7fb9514dbbf705 Mon Sep 17 00:00:00 2001
From: hkiel <henning.kiel@w-hs.de>
Date: Mon, 1 Feb 2016 16:23:23 +0100
Subject: [PATCH] convert some matchcontinue to match makes some functions tail
 recursive

---
 Compiler/FrontEnd/ClassInf.mo | 13 ++++-----
 Compiler/FrontEnd/Graphviz.mo | 54 +++++++++++++++++------------------
 Compiler/FrontEnd/Inline.mo   |  4 +--
 Compiler/FrontEnd/MMath.mo    |  6 ++--
 4 files changed, 38 insertions(+), 39 deletions(-)

diff --git a/Compiler/FrontEnd/ClassInf.mo b/Compiler/FrontEnd/ClassInf.mo
index 7ca0d708875..30133b1ae6e 100644
--- a/Compiler/FrontEnd/ClassInf.mo
+++ b/Compiler/FrontEnd/ClassInf.mo
@@ -234,7 +234,7 @@ public function printState
   input State inState;
 algorithm
   _:=
-  matchcontinue (inState)
+  match (inState)
     local Absyn.Path p;
 
     case UNKNOWN(path = p)
@@ -334,7 +334,7 @@ algorithm
         Print.printBuf(Absyn.pathString(p));
         Print.printBuf(printStateStr(inState));
       then ();
-  end matchcontinue;
+  end match;
 end printState;
 
 public function getStateName "Returns the classname of the state."
@@ -663,9 +663,8 @@ public function matchingState "
   output Boolean outBoolean;
 algorithm
   outBoolean:=
-  matchcontinue (inState,inStateLst)
+  match (inState,inStateLst)
     local
-      State st,first;
       list<State> rest;
       Boolean res;
     case (_,{}) then false;
@@ -685,12 +684,12 @@ algorithm
     // BTH
     case (TYPE_CLOCK(),(TYPE_CLOCK() :: _)) then true;
     case (TYPE_ENUM(),(TYPE_ENUM() :: _)) then true;
-    case (st,(_ :: rest))
+    case (_,(_ :: rest))
       equation
-        res = matchingState(st, rest);
+        res = matchingState(inState, rest);
       then
         res;
-  end matchcontinue;
+  end match;
 end matchingState;
 
 public function isFunction
diff --git a/Compiler/FrontEnd/Graphviz.mo b/Compiler/FrontEnd/Graphviz.mo
index 691495031f9..2f7a5430c3b 100644
--- a/Compiler/FrontEnd/Graphviz.mo
+++ b/Compiler/FrontEnd/Graphviz.mo
@@ -144,37 +144,37 @@ protected function makeLabel "Creates a label from a list of strings."
 protected
   Label s0,s1;
 algorithm
-  s0 := makeLabelReq(sl);
+  s0 := makeLabelReq(sl,"");
   s1 := stringAppend("\"", s0);
   s2 := stringAppend(s1, "\"");
 end makeLabel;
 
 protected function makeLabelReq "Helper function to makeLabel"
   input list<String> inStringLst;
+  input String inString;
   output String outString;
 algorithm
-  outString := matchcontinue (inStringLst)
+  outString := match (inStringLst)
     local
-      Label s,res,s1,s2,old;
+      Label s,s1,s2;
       list<Label> rest;
 
-    case {s} then s;
+    case {s} then stringAppend(inString, s);
 
     case {s1,s2}
       equation
-        s = stringAppend(s1, "\\n");
-        res = stringAppend(s, s2);
-      then
-        res;
+        s = stringAppend(inString, s1);
+        s = stringAppend(s, "\\n");
+        s = stringAppend(s, s2);
+      then s;
 
     case (s1 :: rest)
       equation
-        old = makeLabelReq(rest);
-        s = stringAppend(s1, "\\n");
-        res = stringAppend(s, old);
+        s = stringAppend(inString, s1);
+        s = stringAppend(s, "\\n");
       then
-        res;
-  end matchcontinue;
+        makeLabelReq(rest, s);
+  end match;
 end makeLabelReq;
 
 protected function dumpChildren "Helper function to dumpNode"
@@ -252,37 +252,37 @@ protected function makeAttr "Creates a string from an Attribute list."
 protected
   Label res,s;
 algorithm
-  res := makeAttrReq(l);
+  res := makeAttrReq(l, "");
   s := stringAppend("[", res);
   str := stringAppend(s, "]");
 end makeAttr;
 
-protected function makeAttrReq "Helper function to makeAttrReq."
+protected function makeAttrReq "Helper function to makeAttr."
   input list<Attribute> inAttributeLst;
+  input String inString;
   output String outString;
 algorithm
-  outString := matchcontinue (inAttributeLst)
+  outString := match (inAttributeLst)
     local
-      Label s,str,name,v,old,s_1,s_2;
+      Label s,name,v;
       list<Attribute> rest;
 
     case {ATTR(name = name,value = v)}
       equation
-        s = stringAppend(name, "=");
-        str = stringAppend(s, v);
+        s = stringAppend(inString, name);
+        s = stringAppend(s, "=");
       then
-        str;
+        stringAppend(s, v);
 
     case ((ATTR(name = name,value = v) :: rest))
       equation
-        old = makeAttrReq(rest);
-        s = stringAppend(name, "=");
-        s_1 = stringAppend(s, v);
-        s_2 = stringAppend(s_1, ",");
-        str = stringAppend(s_2, old);
+        s = stringAppend(inString, name);
+        s = stringAppend(s, "=");
+        s = stringAppend(s, v);
+        s = stringAppend(s, ",");
       then
-        str;
-  end matchcontinue;
+        makeAttrReq(rest, s);
+  end match;
 end makeAttrReq;
 
 annotation(__OpenModelica_Interface="frontend");
diff --git a/Compiler/FrontEnd/Inline.mo b/Compiler/FrontEnd/Inline.mo
index 3b0f67ca7fd..e1da51fb12e 100644
--- a/Compiler/FrontEnd/Inline.mo
+++ b/Compiler/FrontEnd/Inline.mo
@@ -1333,7 +1333,7 @@ protected function getRhsExp
   input list<DAE.Element> inElementList;
   output DAE.Exp outExp;
 algorithm
-  outExp := matchcontinue(inElementList)
+  outExp := match(inElementList)
     local
       list<DAE.Element> cdr;
       DAE.Exp res;
@@ -1351,7 +1351,7 @@ algorithm
         res = getRhsExp(cdr);
       then
         res;
-  end matchcontinue;
+  end match;
 end getRhsExp;
 
 protected function replaceArgs
diff --git a/Compiler/FrontEnd/MMath.mo b/Compiler/FrontEnd/MMath.mo
index d699dfcd111..e971684d715 100644
--- a/Compiler/FrontEnd/MMath.mo
+++ b/Compiler/FrontEnd/MMath.mo
@@ -156,10 +156,10 @@ public function intGcd "returns the greatest common divisor for two Integers"
   input Integer i2;
   output Integer i;
 algorithm
-  i := matchcontinue(i1,i2)
+  i := match(i1,i2)
     case (_,0) then i1;
     else intGcd(i2,intMod(i1,i2));
-  end matchcontinue;
+  end match;
 end intGcd;
 
 /* Tests */
@@ -169,7 +169,7 @@ algorithm
   _ := matchcontinue()
 
     case() equation
-      RATIONAL(7,6) =  addRational(RATIONAL(1,2),RATIONAL(2,3));
+      RATIONAL(7,6) = addRational(RATIONAL(1,2),RATIONAL(2,3));
       RATIONAL(2,1) = addRational(RATIONAL(1,2),RATIONAL(3,2));
 
       RATIONAL(1,1) = subRational(RATIONAL(3,2),RATIONAL(1,2));