[Nice-commit] Nice/src/bossa/syntax tools.nice,1.83,1.84

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

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

Modified Files:
	tools.nice 
Log Message:
Added missing retyping.

Index: tools.nice
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/tools.nice,v
retrieving revision 1.83
retrieving revision 1.84
diff -C2 -d -r1.83 -r1.84
*** tools.nice	20 Dec 2004 17:16:48 -0000	1.83
--- tools.nice	23 Dec 2004 12:49:00 -0000	1.84
***************
*** 283,286 ****
--- 283,288 ----
  List<VarSymbol> lookup(VarScope, LocatedString) = native List VarScope.lookup(LocatedString);
  Map<gnu.bytecode.Type,mlsub.typing.TypeConstructor> javaTypeConstructors(bossa.modules.Compilation ) = native bossa.modules.Compilation.javaTypeConstructors;
+ bossa.syntax.Constraint newConstraint(List<TypeSymbol>, List<AtomicConstraint>) = native new Constraint(List, List);
+ void addAtoms(Constraint, List<AtomicConstraint>) = native void Constraint.addAtoms(List);
  
  // Retypings needed since java types are not strict.