Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv12507/src/bossa/syntax
Modified Files:
OverloadedSymbolExp.java CallExp.java
Log Message:
Changed mlsub.typing.Domain so that it contains an array of monotypes instead
of a single monotype (which was normally a tuple type). This is more consistent
with function types having an array of parameters, more efficient, and it
allows for simpler handling of the components of the domain.
Index: OverloadedSymbolExp.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/OverloadedSymbolExp.java,v
retrieving revision 1.67
retrieving revision 1.68
diff -C2 -d -r1.67 -r1.68
*** OverloadedSymbolExp.java 25 Feb 2004 11:23:28 -0000 1.67
--- OverloadedSymbolExp.java 26 Feb 2004 22:17:39 -0000 1.68
***************
*** 520,524 ****
}
! return new Domain(t.getConstraint(), new TupleType(dom));
}
--- 520,524 ----
}
! return new Domain(t.getConstraint(), dom);
}
Index: CallExp.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/CallExp.java,v
retrieving revision 1.91
retrieving revision 1.92
diff -C2 -d -r1.91 -r1.92
*** CallExp.java 25 Feb 2004 11:23:29 -0000 1.91
--- CallExp.java 26 Feb 2004 22:17:39 -0000 1.92
***************
*** 223,227 ****
}
! Typing.in(parameters, Domain.fromMonotypes(dom));
}
finally{
--- 223,227 ----
}
! Typing.in(parameters, dom);
}
finally{
|
