[Nice-commit] Nice/src/bossa/syntax TryStmt.java,1.14,1.15 PrimitiveType.java,1.10,1.11

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

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

Modified Files:
	TryStmt.java PrimitiveType.java 
Log Message:
Removed the method version of throwableTC.

Index: PrimitiveType.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/PrimitiveType.java,v
retrieving revision 1.10
retrieving revision 1.11
diff -C2 -d -r1.10 -r1.11
*** PrimitiveType.java	11 Feb 2004 12:46:39 -0000	1.10
--- PrimitiveType.java	22 Jul 2004 15:19:19 -0000	1.11
***************
*** 190,197 ****
    static TypeConstructor collectionTC;
    static TypeConstructor throwableTC;
-   static TypeConstructor throwableTC()
-   {
-     return throwableTC;
-   }
  
    private static Polytype throwableType;
--- 190,193 ----
***************
*** 202,206 ****
  	throwableType = new Polytype
  	  (Constraint.True, 
! 	   Monotype.sure(new MonotypeConstructor(throwableTC(), null)));
        }
      return throwableType;
--- 198,202 ----
  	throwableType = new Polytype
  	  (Constraint.True, 
! 	   Monotype.sure(new MonotypeConstructor(throwableTC, null)));
        }
      return throwableType;

Index: TryStmt.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/TryStmt.java,v
retrieving revision 1.14
retrieving revision 1.15
diff -C2 -d -r1.14 -r1.15
*** TryStmt.java	19 Oct 2003 00:16:29 -0000	1.14
--- TryStmt.java	22 Jul 2004 15:19:19 -0000	1.15
***************
*** 89,93 ****
    Statement finallyBody;
    List catches = new LinkedList();
!   
    public class Catch
    {
--- 89,93 ----
    Statement finallyBody;
    List catches = new LinkedList();
! 
    public class Catch
    {
***************
*** 107,111 ****
      {
        try{
! 	Typing.leq(t, PrimitiveType.throwableTC());
        }
        catch(TypingEx e){
--- 107,111 ----
      {
        try{
! 	Typing.leq(t, PrimitiveType.throwableTC);
        }
        catch(TypingEx e){