Added some trace info

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@113 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Feb 9, 1998 · 48a4272 · 48a4272
1 parent d2fd268
commit 48a4272
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/modeq/env.rml b/modeq/env.rml
@@ -60,7 +60,9 @@ end
 relation lookup_class_f: ((Absyn.Ident*Absyn.Class) list,Absyn.Ident)
 	  => Absyn.Class =
 
-  rule	id = n
+  rule	(* print "  lookup_class_f(" & print id & print "): " &
+	print n & print "\n" & *)
+	id = n
 	---------------------------------------------------------
 	lookup_class_f((n,c)::_, id) => c
 
@@ -117,7 +119,9 @@ end
 
 relation extend_frame_c : (Env,Absyn.Class) => Env =
 
-  axiom extend_frame_c(FRAME(vs,cs)::fs,c as Absyn.CLASS(n,_,_,_))
+  rule  print " extend_frame_c: " & print n & print "\n"
+	------------------------------------------------
+	extend_frame_c(FRAME(vs,cs)::fs,c as Absyn.CLASS(n,_,_,_))
 	 => ((FRAME(vs,(n,c)::cs)::fs))
 
 end