Save assignment modifications in the environment.

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@166 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Mar 7, 1998 · 9c03aca · 9c03aca
1 parent e8dec72
commit 9c03aca
Showing 1 changed file with 2 additions and 10 deletions.
diff --git a/modeq/env.rml b/modeq/env.rml
@@ -21,6 +21,7 @@ module Env:
 				* bool	(* constant *)
 				* bool	(* input *)
 				* bool	(* output *)
+				* Exp.Exp option (* equation *)
 
   datatype Frame = FRAME of (Explode.Ident*FrameVar) list
 			  * (Explode.Ident*Explode.Class*Mod.Mod) list
@@ -76,15 +77,6 @@ end
 
 relation lookup_class: (Env,Explode.Path) => (Explode.Class,Mod.Mod) =
 
-(*
-  rule  lookup_var(f,IDENT(n)) => v & &
-	print "lookup_class: FIXME\n" &
-	fail
-	----------------
-	lookup_class(f,Explode.QUALIFIED(n,p))
-	 => fail
-*)
-
   rule	lookup_class_f(cs,id) => (c,m)
 	---------------------
 	lookup_class(FRAME(_,cs)::fs,Exp.IDENT(id)) => (c,m)
@@ -128,7 +120,7 @@ end
 
 relation extend_frame_v : (Env,FrameVar) => Env =
 
-  axiom extend_frame_v(FRAME(vs,cs)::fs,v as FRAMEVAR(n,_,_,_,_,_,_,_))
+  axiom extend_frame_v(FRAME(vs,cs)::fs,v as FRAMEVAR(n,_,_,_,_,_,_,_,_))
 	  => (FRAME((n,v)::vs,cs)::fs)
 
 end