[Nice-commit] Nice/src/bossa/syntax OverloadedSymbolExp.java,1.67,1.68 CallExp.java,1.91,1.92

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

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{