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.
|
