[Nice-commit] Nice/src/bossa/syntax tools.nice,1.75,1.76

[Arjan B. <ar...@us...>]

Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv31273/F:/nice/src/bossa/syntax

Modified Files:
	tools.nice 
Log Message:
Missing retyping.

Index: tools.nice
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/tools.nice,v
retrieving revision 1.75
retrieving revision 1.76
diff -C2 -d -r1.75 -r1.76
*** tools.nice	16 Dec 2004 23:40:00 -0000	1.75
--- tools.nice	17 Dec 2004 04:09:42 -0000	1.76
***************
*** 285,288 ****
--- 285,289 ----
  ?mlsub.typing.TypeSymbol lookup(TypeMap, LocatedString) = native mlsub.typing.TypeSymbol TypeMap.lookup(LocatedString);
  ?mlsub.typing.TypeSymbol lookup(TypeMap, String) = native mlsub.typing.TypeSymbol TypeMap.lookup(String);
+ void substitute(bossa.syntax.FormalParameters, Map<java.lang.String, bossa.syntax.Monotype>) = native void FormalParameters.substitute(Map);
  
  // Retypings needed since java types are not strict.