[Nice-commit] Nice/src/mlsub/typing/lowlevel Engine.java,1.24,1.25
Brought to you by:
bonniot
|
From: <bo...@us...> - 2003-03-13 23:20:14
|
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();
|