luke
/
sbt
mirror of https://github.com/sbt/sbt.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Compare polymorphic types

This commit is contained in:
Mark Harrah 2010-01-07 21:48:56 -05:00
parent fb3cfd3b39
commit 8f0371d21a
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
compile/api/SameAPI.scala
View File

@ -11,7 +11,13 @@ import scala.collection.{immutable, mutable}
object SameAPI object SameAPI
{ {
def apply(a: Source, b: Source) = def apply(a: Source, b: Source) =
(new SameAPI).check(a,b) {
val start = System.currentTimeMillis
val result = (new SameAPI).check(a,b)
val end = System.currentTimeMillis
println(" API comparison took: " + (end - start) / 1000.0 + " s")
result
}
} }
private class SameAPI private class SameAPI
{ {
@ -235,12 +241,16 @@ private class SameAPI
case (aa: Annotated, ab: Annotated) => debug(sameAnnotatedType(aa, ab), "Different annotated type") case (aa: Annotated, ab: Annotated) => debug(sameAnnotatedType(aa, ab), "Different annotated type")
case (sa: Structure, sb: Structure) => debug(sameStructure(sa, sb), "Different structure type") case (sa: Structure, sb: Structure) => debug(sameStructure(sa, sb), "Different structure type")
case (ea: Existential, eb: Existential) => debug(sameExistentialType(ea, eb), "Different existential type") case (ea: Existential, eb: Existential) => debug(sameExistentialType(ea, eb), "Different existential type")
case (pa: Polymorphic, pb: Polymorphic) => debug(samePolymorphicType(pa, pb), "Different polymorphic type")
case _ => false case _ => false
} }
def sameExistentialType(a: Existential, b: Existential): Boolean = def sameExistentialType(a: Existential, b: Existential): Boolean =
sameTypeParameters(a.clause, b.clause) && sameTypeParameters(a.clause, b.clause) &&
sameType(a.baseType, b.baseType) sameType(a.baseType, b.baseType)
def samePolymorphicType(a: Polymorphic, b: Polymorphic): Boolean =
sameTypeParameters(a.parameters, b.parameters) &&
sameType(a.baseType, b.baseType)
def sameAnnotatedType(a: Annotated, b: Annotated): Boolean = def sameAnnotatedType(a: Annotated, b: Annotated): Boolean =
sameSimpleType(a.baseType, b.baseType) && sameSimpleType(a.baseType, b.baseType) &&
sameAnnotations(a.annotations, b.annotations) sameAnnotations(a.annotations, b.annotations)
@ -265,7 +275,7 @@ private class SameAPI
def sameParameterized(a: Parameterized, b: Parameterized): Boolean = def sameParameterized(a: Parameterized, b: Parameterized): Boolean =
sameSimpleType(a.baseType, b.baseType) && sameSimpleType(a.baseType, b.baseType) &&
sameSeq(a.typeArguments, b.typeArguments)(sameSimpleType) sameSeq(a.typeArguments, b.typeArguments)(sameType)
def sameParameterRef(a: ParameterRef, b: ParameterRef): Boolean = def sameParameterRef(a: ParameterRef, b: ParameterRef): Boolean =
mapID(referencesMap, a.id, b.id) mapID(referencesMap, a.id, b.id)
def sameSingleton(a: Singleton, b: Singleton): Boolean = def sameSingleton(a: Singleton, b: Singleton): Boolean =