#1623

- Produce a good error-message when a pattern variable is not found in the local scope git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@9891 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Sep 21, 2011 · 2b1497f · 2b1497f
1 parent 05d8fa7
commit 2b1497f
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/Compiler/FrontEnd/Patternm.mo b/Compiler/FrontEnd/Patternm.mo
@@ -287,6 +287,18 @@ algorithm
         pattern = Util.if_(Types.isFunctionType(ty2), DAE.PAT_AS_FUNC_PTR(id,DAE.PAT_WILD()), DAE.PAT_AS(id,et,DAE.PAT_WILD()));
       then (cache,pattern);
 
+    case (cache,env,Absyn.AS(id,exp),ty2,info)
+      equation
+        failure((_,_,_,_) = Lookup.lookupIdent(cache,env,id));
+        Error.addSourceMessage(Error.LOOKUP_VARIABLE_ERROR,{id,""},info);
+      then fail();
+
+    case (cache,env,Absyn.CREF(Absyn.CREF_IDENT(id,{})),ty2,info)
+      equation
+        failure((_,_,_,_) = Lookup.lookupIdent(cache,env,id));
+        Error.addSourceMessage(Error.LOOKUP_VARIABLE_ERROR,{id,""},info);
+      then fail();
+
     case (cache,env,Absyn.CREF(Absyn.WILD()),_,info) then (cache,DAE.PAT_WILD());
 
     case (cache,env,lhs,ty,info)