diff options
| author | Paul Phillips <paulp@improving.org> | 2012-02-19 15:35:36 -0800 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-02-19 17:38:42 -0800 |
| commit | e512518d25818b4b0381e4a078137734f8eab12f (patch) | |
| tree | 8f6c4a4acc08e520d7a58e9e3809c6fa202004e0 /src/compiler/scala/reflect/internal/Symbols.scala | |
| parent | 63d9ae6dc4fccc97a35819d69c379073e6342bc1 (diff) | |
| download | scala-e512518d25818b4b0381e4a078137734f8eab12f.tar.gz scala-e512518d25818b4b0381e4a078137734f8eab12f.tar.bz2 scala-e512518d25818b4b0381e4a078137734f8eab12f.zip | |
Streamlining skolemization, specialization.
Skolemization code doesn't belong in Typers. I carved
out a little place for it. Also simplifications in
specialization.
Diffstat (limited to 'src/compiler/scala/reflect/internal/Symbols.scala')
| -rw-r--r-- | src/compiler/scala/reflect/internal/Symbols.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/scala/reflect/internal/Symbols.scala b/src/compiler/scala/reflect/internal/Symbols.scala index 8e9788e8b6..ce85d65050 100644 --- a/src/compiler/scala/reflect/internal/Symbols.scala +++ b/src/compiler/scala/reflect/internal/Symbols.scala @@ -2714,6 +2714,8 @@ trait Symbols extends api.Symbols { self: SymbolTable => */ def cloneSymbolsAndModify(syms: List[Symbol], infoFn: Type => Type): List[Symbol] = cloneSymbols(syms) map (_ modifyInfo infoFn) + def cloneSymbolsAtOwnerAndModify(syms: List[Symbol], owner: Symbol, infoFn: Type => Type): List[Symbol] = + cloneSymbolsAtOwner(syms, owner) map (_ modifyInfo infoFn) /** Functions which perform the standard clone/substituting on the given symbols and type, * then call the creator function with the new symbols and type as arguments. |