[Nice-commit] Nice/src/mlsub/typing/lowlevel Engine.java,1.24,1.25

[<bo...@us...>]

Update of /cvsroot/nice/Nice/src/mlsub/typing/lowlevel
In directory sc8-pr-cvs1:/tmp/cvs-serv18669/src/mlsub/typing/lowlevel

Modified Files:
	Engine.java 
Log Message:
Allow functions returning a value to be used as arguments where
functions returning void are expected.


Index: Engine.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/lowlevel/Engine.java,v
retrieving revision 1.24
retrieving revision 1.25
diff -C2 -d -r1.24 -r1.25
*** Engine.java	18 Nov 2002 16:40:30 -0000	1.24
--- Engine.java	13 Mar 2003 23:19:40 -0000	1.25
***************
*** 183,186 ****
--- 183,193 ----
    }
    
+   public static void setTop(Element top)
+   {
+     Engine.top = top;
+   }
+ 
+   private static Element top;
+ 
    /**
       Asserts that elements have some ordering relation.
***************
*** 194,197 ****
--- 201,206 ----
      throws Unsatisfiable
    {
+     if (e2 == top) return;
+ 
      Kind k1 = e1.getKind(), k2 = e2.getKind();