Nice/src/mlsub/typing/lowlevel Engine.java,1.36,1.37

Update of /cvsroot/nice/Nice/src/mlsub/typing/lowlevel
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv20429/src/mlsub/typing/lowlevel

Modified Files:
	Engine.java 
Log Message:
Better implementation of wildcards (fixes #1216727).


Index: Engine.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/lowlevel/Engine.java,v
retrieving revision 1.36
retrieving revision 1.37
diff -C2 -d -r1.36 -r1.37
*** Engine.java	6 Apr 2005 20:38:39 -0000	1.36
--- Engine.java	9 Jun 2005 11:56:59 -0000	1.37
***************
*** 291,294 ****
--- 291,296 ----
  	{
  	  setKind(e2,k1);
+           if (e2 instanceof mlsub.typing.MonotypeVar)
+             ((mlsub.typing.MonotypeVar) e2).allowUnknownTypeParameters();
  	  k1.leq(e1,e2,initial);
  	}



-------------------------------------------------------
This SF.Net email is sponsored by: NEC IT Guy Games.  How far can you shotput
a projector? How fast can you ride your desk chair down the office luge track?
If you want to score the big prize, get to know the little guy.  
Play to win an NEC 61" plasma display: http://www.necitguy.com/?r=20