[Nice-commit] Nice/src/bossa/syntax Symbol.java,1.2,1.3 symbol.nice,1.13,1.14

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

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

Modified Files:
	Symbol.java symbol.nice 
Log Message:
Removed workaround for fixed bug.

Index: Symbol.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/Symbol.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** Symbol.java	14 Jan 2005 22:47:11 -0000	1.2
--- Symbol.java	1 Mar 2005 22:51:12 -0000	1.3
***************
*** 28,33 ****
  
    final LocatedString name;
- 
-   // commenting this triggers a bug
-   abstract mlsub.typing.Polytype getType();
  }
\ No newline at end of file
--- 28,30 ----

Index: symbol.nice
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/symbol.nice,v
retrieving revision 1.13
retrieving revision 1.14
diff -C2 -d -r1.13 -r1.14
*** symbol.nice	21 Feb 2005 19:03:57 -0000	1.13
--- symbol.nice	1 Mar 2005 22:51:12 -0000	1.14
***************
*** 47,52 ****
    public ?Definition getDefinition() = null;
  
!   // uncommenting this triggers a bug
! //  mlsub.typing.Polytype getType();
  
    /**
--- 47,51 ----
    public ?Definition getDefinition() = null;
  
!   mlsub.typing.Polytype getType();
  
    /**