[Nice-commit] Nice/testsuite/compiler/typing inference.testsuite,1.3,1.4

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

Update of /cvsroot/nice/Nice/testsuite/compiler/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv24136/testsuite/compiler/typing

Modified Files:
	inference.testsuite 
Log Message:
When doing overloading resolution in existential mode, backtrack when the
symbol is not applicable.


Index: inference.testsuite
===================================================================
RCS file: /cvsroot/nice/Nice/testsuite/compiler/typing/inference.testsuite,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** inference.testsuite	23 Mar 2004 14:45:21 -0000	1.3
--- inference.testsuite	23 Mar 2004 20:28:42 -0000	1.4
***************
*** 123,132 ****
      L3.add( L1.removeFirst );
  
! /// PASS bug
    let L1 = new LinkedList();
    L1.add(999);         
    println( L1[0] );
  
! /// PASS bug
    let testmap = new HashMap();
     for(s : testmap.keySet())
--- 123,132 ----
      L3.add( L1.removeFirst );
  
! /// PASS
    let L1 = new LinkedList();
    L1.add(999);         
    println( L1[0] );
  
! /// PASS
    let testmap = new HashMap();
     for(s : testmap.keySet())
***************
*** 134,135 ****
--- 134,142 ----
         String x = s + " => " + testmap[s];
       }
+ 
+ /// PASS
+  let testmap = new HashMap();
+  for(s : ["1", "2", "3"])
+    testmap[s] = Integer.parseInt(s);
+  for(s : testmap.keySet())
+    println(s + " => " + testmap[s]);