[Nice-commit] Nice/src/mlsub/typing MonotypeLeqEx.java,1.2,1.3
Brought to you by:
bonniot
|
From: Arjan B. <ar...@us...> - 2005-03-31 21:10:35
|
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; } |