01: package mlsub.typing.lowlevel;
02:
03: /**
04: * Thrown when the constraint implies that x1 be a subtype of x2 but x1 and x2
05: * are rigid and x1 is not a subtype of x2
06: *
07: * @version $Revision: 1.1 $, $Date: 2000/06/14 13:32:52 $
08: * @author Alexandre Frey
09: **/
10: public class LowlevelRigidClash extends LowlevelUnsatisfiable {
11: LowlevelRigidClash(String x1, String x2) {
12: super ("Clash (" + x1 + "<:" + x2 + ")");
13: }
14: }
|