[Nice-commit] Nice/src/mlsub/typing MonotypeLeqEx.java,1.2,1.3

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

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

Modified Files:
	MonotypeLeqEx.java 
Log Message:
Lazy generation of error message.

Index: MonotypeLeqEx.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/mlsub/typing/MonotypeLeqEx.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** MonotypeLeqEx.java	25 Sep 2001 14:14:52 -0000	1.2
--- MonotypeLeqEx.java	31 Mar 2005 21:10:09 -0000	1.3
***************
*** 21,31 ****
  		mlsub.typing.lowlevel.Unsatisfiable origin)
    {
!     super(m1 + " <: " + m2 + " because of " + origin);
      this.m1 = m1;
      this.m2 = m2;
    }
  
    public Monotype m1, m2;  
  
    public Monotype getM1()
    { return m1; }
--- 21,38 ----
  		mlsub.typing.lowlevel.Unsatisfiable origin)
    {
!     super("");
!     this.origin = origin;
      this.m1 = m1;
      this.m2 = m2;
    }
  
+   mlsub.typing.lowlevel.Unsatisfiable origin;
    public Monotype m1, m2;  
  
+   public String getMessage()
+   {
+     return m1 + " <: " + m2 + " because of " + origin;
+   }
+ 
    public Monotype getM1()
    { return m1; }