[Nice-commit] Nice/src/mlsub/typing Enumeration.java,1.17,1.18

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

Update of /cvsroot/nice/Nice/src/mlsub/typing
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv20863/F:/nice/src/mlsub/typing

Modified Files:
	Enumeration.java 
Log Message:
Removed some superfluous conversion constructs.

Index: Enumeration.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/Enumeration.java,v
retrieving revision 1.17
retrieving revision 1.18
diff -C2 -d -r1.17 -r1.18
*** Enumeration.java	1 Dec 2004 02:00:13 -0000	1.17
--- Enumeration.java	4 Jan 2005 21:20:21 -0000	1.18
***************
*** 367,376 ****
                                                TypeConstructor sol)
    {
!     bossa.syntax.TypeDefinition def = bossa.syntax.dispatch.getTypeDefinition(sol);
!     
!     if (def == null)
!       return true;
! 
!     Constraint constraint = def.getResolvedConstraint();
  
      if (mlsub.typing.Constraint.trivial(constraint))
--- 367,371 ----
                                                TypeConstructor sol)
    {
!     Constraint constraint = bossa.syntax.dispatch.getTypeDefResolvedConstraint(sol);
  
      if (mlsub.typing.Constraint.trivial(constraint))
***************
*** 395,399 ****
      Typing.introduce(tc);
      MonotypeConstructor type =
!       new MonotypeConstructor(tc, def.getTypeParameters());
  
      try {
--- 390,394 ----
      Typing.introduce(tc);
      MonotypeConstructor type =
!       new MonotypeConstructor(tc, bossa.syntax.dispatch.getTypeDefTypeParameters(sol));
  
      try {