[Nice-commit] Nice/src/bossa/syntax typecheck.nice,1.110,1.111

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

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

Modified Files:
	typecheck.nice 
Log Message:
Reapplied fix for overloaded array dimensions.

Index: typecheck.nice
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/typecheck.nice,v
retrieving revision 1.110
retrieving revision 1.111
diff -C2 -d -r1.110 -r1.111
*** typecheck.nice	7 Aug 2004 14:20:29 -0000	1.110
--- typecheck.nice	7 Aug 2004 16:48:13 -0000	1.111
***************
*** 630,642 ****
  {
    Expression[] knownDimensions = notNull(e.knownDimensions);
!   typecheckExps(cast(knownDimensions));
    for (int i=0; i<knownDimensions.length; i++)
      {
!       Expression dim = knownDimensions[i];
        try{
! 	Typing.leq(dim.getType(), PrimitiveType.intPolytype);
        }
        catch(TypingEx ex){
! 	if (notNullError(ex, dim, 
  			 dim.toString()))
  	  bossa.util.User.error(dim, "" + dim + " should be an integer");
--- 630,643 ----
  {
    Expression[] knownDimensions = notNull(e.knownDimensions);
!  
    for (int i=0; i<knownDimensions.length; i++)
      {
!       Expression dim = knownDimensions[i] =
!       knownDimensions[i].resolveOverloading(PrimitiveType.intPolytype);
        try{
!   	checkAssignment(PrimitiveType.intType, dim);
        }
        catch(TypingEx ex){
! 	if (notNullError(ex, dim,
  			 dim.toString()))
  	  bossa.util.User.error(dim, "" + dim + " should be an integer");