Update of /cvsroot/hcoop/domtool2/src
In directory sc8-pr-cvs17:/tmp/cvs-serv8479/src
Modified Files:
eval.sml
Log Message:
Fix environment calculation rule for ELocal
Index: eval.sml
===================================================================
RCS file: /cvsroot/hcoop/domtool2/src/eval.sml,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** eval.sml 15 Dec 2006 23:59:30 -0000 1.5
--- eval.sml 20 May 2007 21:41:14 -0000 1.6
***************
*** 78,84 ****
let
val evs' = exec' evs e1
- val evs'' = exec' (conjoin (evs, evs')) e2
in
! conjoin (evs, evs'')
end
| EWith (e1, e2) =>
--- 78,83 ----
let
val evs' = exec' evs e1
in
! exec' (conjoin (evs, evs')) e2
end
| EWith (e1, e2) =>
-------------------------------------------------------------------------
This SF.net email is sponsored by DB2 Express
Download DB2 Express C - the FREE version of DB2 express and take
control of your XML. No limits. Just data. Click to get it now.
http://sourceforge.net/powerbar/db2/
_______________________________________________
hcoop-cvs mailing list
hcoop-cvs@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hcoop-cvs
