diff --git a/Compiler/BackEnd/BackendDAECreate.mo b/Compiler/BackEnd/BackendDAECreate.mo
index 38e67ea82c4..dbc6b3ad7d6 100644
--- a/Compiler/BackEnd/BackendDAECreate.mo
+++ b/Compiler/BackEnd/BackendDAECreate.mo
@@ -232,10 +232,6 @@ algorithm
       list<DAE.Element> daeLstRest;
       BackendDAE.BinTree states;
       DAE.ElementSource source "the element source";
-      DAE.ElementSource eq_source; 
-      list<tuple<DAE.Exp,DAE.Exp>> ealst; 
-      String str;      
-      DAE.Element ddl; 
       
     // the empty case 
     case ({},functionTree,vars,knvars,extVars,eqns,reqns,ieqns,aeqns,iaeqns,algs,ialgs,whenclauses,extObjCls,states)
@@ -325,7 +321,6 @@ algorithm
       DAE.Statement s;
       Boolean b1, b2;
       String str;      
-      DAE.Element ddl; 
       
     // adrpo: should we ignore OUTER vars?!
     //case (((v as DAE.VAR(innerOuter=io)) :: xs),states,vars,knvars,extVars,whenclauses)
diff --git a/Compiler/BackEnd/Derive.mo b/Compiler/BackEnd/Derive.mo
index 306f2fb8675..d65e11ad4c6 100644
--- a/Compiler/BackEnd/Derive.mo
+++ b/Compiler/BackEnd/Derive.mo
@@ -88,9 +88,7 @@ algorithm
       DAE.ElementSource source,source1,sourceStmt;
       Integer index,i_1,index1;
       list<DAE.Exp> in_,in_1,out,out1,expExpLst,expExpLst1; 
-      list<Boolean> blst; 
       DAE.ExpType exptyp;
-      list<DAE.ExpType> exptyplst; 
       array<DAE.Algorithm> a1;
       list<tuple<Integer,Integer,Integer>> derivedAlgs,derivedMultiEqn;
       Boolean add;
@@ -1007,7 +1005,6 @@ algorithm
     local 
       BackendDAE.Variables timevars;
       DAE.FunctionTree functions;
-      tuple<Integer,DAE.derivativeCond> cond;
       Absyn.Path default,fname,da,inDFuncName;
       list<tuple<Integer,DAE.derivativeCond>> cr;
       Integer derivativeOrder;
diff --git a/Compiler/BackEnd/SimCode.mo b/Compiler/BackEnd/SimCode.mo
index 0be3493b2b1..a281fa73045 100644
--- a/Compiler/BackEnd/SimCode.mo
+++ b/Compiler/BackEnd/SimCode.mo
@@ -1485,7 +1485,7 @@ algorithm
       DAE.Function fn;
       String extfnname,lang,str;
       list<DAE.Element> bivars, algs, vars, invars, outvars;
-      list<String> struct_strs,arg_strs,includes,libs,struct_strs_1,funrefStrs,fn_libs,fn_includes,rt,rt_1,struct_funrefs,struct_funrefs_int,defhead,head,foot,body,decl1,decl2,assign_res,ret_var,record_var,record_var_dot,return_stmt;
+      list<String> includes,libs,fn_libs,fn_includes,rt,rt_1;
       Absyn.Path fpath;
       list<tuple<String, Types.Type>> args;
       Types.Type restype,tp;
@@ -8269,7 +8269,6 @@ algorithm
       list<BackendDAE.Var> varlst;
       BackendDAE.DivZeroExpReplace dzer;
       list<DAE.Exp> divLst;
-      tuple<BackendDAE.Variables,BackendDAE.DivZeroExpReplace,list<DAE.Exp>> dlowmode;
       DAE.Exp e,e1,e2;
       Expression.Type ty;
       String se;
diff --git a/Compiler/FrontEnd/DAEDump.mo b/Compiler/FrontEnd/DAEDump.mo
index 32a08d6966f..f19638bbd5a 100644
--- a/Compiler/FrontEnd/DAEDump.mo
+++ b/Compiler/FrontEnd/DAEDump.mo
@@ -147,11 +147,10 @@ protected function funcGreaterThan "sorting function for two DAE.Element that ar
   output Boolean res;
 algorithm
   res := matchcontinue(func1,func2)
-  local Absyn.Path p1,p2;
     case(func1,func2) equation
       res = stringCompare(functionNameStr(func1),functionNameStr(func2)) > 0;
     then res;
-    case(_,_) then true;
+    else true;
   end matchcontinue;
 end funcGreaterThan;  
  
diff --git a/Compiler/FrontEnd/Dependency.mo b/Compiler/FrontEnd/Dependency.mo
index bb1384f4e40..68acd0e12c8 100644
--- a/Compiler/FrontEnd/Dependency.mo
+++ b/Compiler/FrontEnd/Dependency.mo
@@ -143,9 +143,12 @@ protected function getTotalProgramDep "Help function to getTotalProgram2"
   output AbsynDep.Depends outDep;
 algorithm
   outDep := matchcontinue(dep,className,p,env)
-  local Absyn.Class cl; AbsynDep.AvlTree classUses; list<Absyn.Path> v;
-    Option<Absyn.Path> optPath;
-    Absyn.ElementSpec comp;
+    local
+      Absyn.Class cl;
+      AbsynDep.AvlTree classUses;
+      list<Absyn.Path> v;
+      Option<Absyn.Path> optPath;
+      Absyn.ElementSpec comp;
 
     case(dep,Absyn.FULLYQUALIFIED(className),p,env) then getTotalProgramDep(dep,className,p,env);
     /* If already added, skip to prevent infinite recursion */
diff --git a/Compiler/FrontEnd/ExpressionDump.mo b/Compiler/FrontEnd/ExpressionDump.mo
index cd61344c129..02e1ee1e216 100644
--- a/Compiler/FrontEnd/ExpressionDump.mo
+++ b/Compiler/FrontEnd/ExpressionDump.mo
@@ -103,7 +103,6 @@ algorithm
       list<Ident> ss;
       Type t;
       list<DAE.Dimension> dims;
-      list<tuple<Type,Ident>> varlst;
       String s1,ts,res,s;
       list<Var> vars;
       ClassInf.State ci;
diff --git a/Compiler/FrontEnd/ExpressionSimplify.mo b/Compiler/FrontEnd/ExpressionSimplify.mo
index e0480aed856..e076b5d2369 100644
--- a/Compiler/FrontEnd/ExpressionSimplify.mo
+++ b/Compiler/FrontEnd/ExpressionSimplify.mo
@@ -123,7 +123,7 @@ algorithm
       Boolean b,remove_if,tpl,builtin,b2;
       Ident idn;
       list<DAE.Exp> exps,exps_1,expl,matrix;
-      list<tuple<DAE.Exp, Boolean>> explTpl;
+      list<tuple<DAE.Exp,Boolean>> explTpl;
       list<Subscript> s;
       ComponentRef c_1;
       Operator op;
@@ -766,8 +766,6 @@ algorithm
     local 
       DAE.Exp e,exp,e1,e2,exp_2,exp_3;
       Operator op;
-      String s2; 
-      Boolean b;      
     
     case ((exp as DAE.BINARY(exp1 = e1,operator = op,exp2 = e2))) /* multiple terms/factor simplifications */
       equation
diff --git a/Compiler/FrontEnd/Inst.mo b/Compiler/FrontEnd/Inst.mo
index bf630c99c5d..0653c376352 100644
--- a/Compiler/FrontEnd/Inst.mo
+++ b/Compiler/FrontEnd/Inst.mo
@@ -3229,7 +3229,6 @@ algorithm
       DAE.EqualityConstraint eqConstraint;
       ConnectionGraph.ConnectionGraph graph;
       InstanceHierarchy ih;
-      String str;      
 
     // This rule describes how to instantiate a class definition
 	  // that extends a basic type. (No equations or algorithms allowed)
@@ -10249,7 +10248,6 @@ algorithm
   local
     DAE.EqMod eq;
     DAE.Exp e;
-    Option<tuple<Absyn.Exp,Boolean>> aoe;
   case(DAE.NAMEMOD(inputVar,mod = DAE.MOD(eqModOption = SOME(eq as DAE.TYPED(modifierAsExp=e)))))
     equation
       then (inputVar,DAE.NO_DERIVATIVE(e));
diff --git a/Compiler/FrontEnd/Static.mo b/Compiler/FrontEnd/Static.mo
index 7859e11b4fe..793e612be1c 100644
--- a/Compiler/FrontEnd/Static.mo
+++ b/Compiler/FrontEnd/Static.mo
@@ -10013,7 +10013,6 @@ algorithm
     local
       Ident id,id2;
       DAE.Type ty;
-      tuple<String,DAE.Type> farg;
       list<tuple<Ident, DAE.Type>> ts;
     case (id,(id2,ty) :: ts)
       equation
diff --git a/Compiler/FrontEnd/UnitAbsynBuilder.mo b/Compiler/FrontEnd/UnitAbsynBuilder.mo
index 3ca39c4d7de..d0504296df2 100644
--- a/Compiler/FrontEnd/UnitAbsynBuilder.mo
+++ b/Compiler/FrontEnd/UnitAbsynBuilder.mo
@@ -73,7 +73,6 @@ protected function registerUnitWeightDefineunits "help function to registerUnitW
   input list<SCode.Element> du;
 algorithm
    _ := matchcontinue(du)
-   local String n; Real w;
      /* No defineunits found, for backward compatibility, use default implementation:
      SI system ,with lower cost on Hz and Bq */
      case({}) equation
diff --git a/Compiler/Template/Tpl.mo b/Compiler/Template/Tpl.mo
index 2a8984d811c..cb2c5cd77e3 100644
--- a/Compiler/Template/Tpl.mo
+++ b/Compiler/Template/Tpl.mo
@@ -406,7 +406,6 @@ public function isAtStartOfLine
 algorithm
   _ := match (inTok)
     local
-      list<tuple<Tokens,BlockType>> blstack;
       StringToken tok;
     
     //a new-line at the end
@@ -805,7 +804,6 @@ algorithm
     local
       Tokens toks;
       StringToken tok;
-      list<tuple<Tokens,BlockType>> blstack;
       Integer pos, aind;
       Boolean isstart;
     
@@ -844,7 +842,6 @@ algorithm
    := match (inStringToken, inActualPositionOnLine, inAtStartOfLine, inAfterNewLineIndent)
     local
       Tokens toks;
-      list<tuple<Tokens,BlockType>> blstack;
       BlockType bt;
       String str;
       list<String>  strLst;
@@ -1080,7 +1077,6 @@ algorithm
     local
       Tokens toks;
       StringToken septok, tok, asep, wsep;
-      list<tuple<Tokens,BlockType>> blstack;
       Integer nchars, tsnchars,   aind, w, aoffset, anum, wwidth, blen;
       Boolean isstart;
     
diff --git a/Compiler/Template/TplAbsyn.mo b/Compiler/Template/TplAbsyn.mo
index e5770a9c4ce..0779df9ba50 100644
--- a/Compiler/Template/TplAbsyn.mo
+++ b/Compiler/Template/TplAbsyn.mo
@@ -1648,7 +1648,6 @@ algorithm
       list<Expression> explst;
       TypedIdents iargs, oargs;
       Expression exp;
-      list<tuple<MatchingExp,Expression>> mcases;
       String litvalue;
       StringToken st;
       
@@ -2009,7 +2008,6 @@ algorithm
       TypeSignature  outtype;
       TemplPackage tplPackage;
       list<ASTDef> astDefs;
-      list<tuple<Ident,TemplateDef>> tpldefs;
       MMExp mmexp,  mmtxt;
       String  str;
       
@@ -4327,7 +4325,6 @@ algorithm
     local
       Ident ident;
       TypeSignature idtype, lt;
-      list<tuple<Ident,TemplateDef>> tpldefs;
       StringToken st;
       String litstr, reason;           
       
diff --git a/Compiler/Template/TplParser.mo b/Compiler/Template/TplParser.mo
index e7eeec64b85..c7e0a9224d6 100644
--- a/Compiler/Template/TplParser.mo
+++ b/Compiler/Template/TplParser.mo
@@ -411,7 +411,6 @@ algorithm
   (outChars, isKeyword) := matchcontinue (inChars, inKeywordChars)
     local
       list<String> chars, kwchars;
-      String  c;      
       
     case (chars, kwchars) 
       equation
@@ -475,7 +474,6 @@ algorithm
     local
       list<String> chars;
       LineInfo linfo;
-      String kw;      
       
     case (chars, linfo) 
       equation