[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[List Home]
|
[imp-commit] r22940 - trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type
|
- From: genie@xxxxxxxxxxx
- Date: Fri, 7 Oct 2011 05:20:22 -0400 (EDT)
- Delivered-to: imp-commit@eclipse.org
Author: jvinju
Date: 2011-10-07 05:20:22 -0400 (Fri, 07 Oct 2011)
New Revision: 22940
Modified:
trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/TupleType.java
Log:
ouch, Mark Hills found this annoying type in lubTupleTypes which would lead to lub removing labels
Modified: trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/TupleType.java
===================================================================
--- trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/TupleType.java 2011-10-07 09:10:18 UTC (rev 22939)
+++ trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/type/TupleType.java 2011-10-07 09:20:22 UTC (rev 22940)
@@ -177,7 +177,7 @@
if (t1.hasFieldNames()) {
fieldNames[i] = t1.getFieldName(i);
}
- else if (t1.hasFieldNames()) {
+ else if (t2.hasFieldNames()) {
fieldNames[i] = t2.getFieldName(i);
}
}