Merge pull request #452 from dotty-staging/fixTTM-structural-sharing-between-classes

DarkDimius · DarkDimius · commit 008bf64b47c9 · 2015-04-02T16:28:08.000+02:00
Fix TreeTypeMap and mapSymbols to create a copy of decls for duplicated classes.
diff --git a/src/dotty/tools/dotc/core/Symbols.scala b/src/dotty/tools/dotc/core/Symbols.scala
@@ -292,7 +292,7 @@ trait Symbols { this: Context =>
         val oinfo = original.info match {
           case ClassInfo(pre, _, parents, decls, selfInfo) =>
             assert(original.isClass)
-            ClassInfo(pre, copy.asClass, parents, decls, selfInfo)
+            ClassInfo(pre, copy.asClass, parents, decls.cloneScope, selfInfo)
           case oinfo => oinfo
         }
         copy.denot = odenot.copySymDenotation(

Original file line number	Diff line number	Diff line change
`@@ -292,7 +292,7 @@ trait Symbols { this: Context =>`
`292`	`292`	`val oinfo = original.info match {`
`293`	`293`	`case ClassInfo(pre, _, parents, decls, selfInfo) =>`
`294`	`294`	`assert(original.isClass)`
`295`		`- ClassInfo(pre, copy.asClass, parents, decls, selfInfo)`
	`295`	`+ ClassInfo(pre, copy.asClass, parents, decls.cloneScope, selfInfo)`
`296`	`296`	`case oinfo => oinfo`
`297`	`297`	`}`
`298`	`298`	`copy.denot = odenot.copySymDenotation(`