Fixed bug in make_fully_qualified.

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@1787 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · May 17, 2005 · b9c80e6 · b9c80e6
1 parent 4321edd
commit b9c80e6
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/Compiler/Inst.rml b/Compiler/Inst.rml
@@ -3088,9 +3088,15 @@ relation make_fully_qualified : (Env.Env, Absyn.Path) => Absyn.Path =
 	----------------------------
 	make_fully_qualified (env,path) => path
 
-  rule	Lookup.lookup_class(env,path,false) => (_,_::env') &
+  rule	(** To make a class fully qualified, the class path
+	 ** is looked up in the environment.
+	 ** The FQ path consist of the simple class name
+	 ** appended to the environment path of the looked up class.
+	 **)
+	Lookup.lookup_class(env,path,false) => (_,env') &
 	Env.get_env_path env' => SOME(path') &
-	Absyn.join_paths(path',path) => path'' 
+	Absyn.path_last_ident(path) => class_name &
+	Absyn.join_paths(path',Absyn.IDENT(class_name)) => path''
 	--------------------------------------
 	make_fully_qualified (env,path) => path''