diff options
| author | paltherr <paltherr@epfl.ch> | 2004-01-21 10:24:10 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-01-21 10:24:10 +0000 |
| commit | 00bd0b0b039c6c8105bf64b5c09cef66bc2a7b89 (patch) | |
| tree | eabcc1ef4ad5c0495f30222058e3c8848b8dc636 /sources/scalac/transformer/TailCall.java | |
| parent | ed4861b3f3a42d588fea07b677e02d92f98f1c3c (diff) | |
| download | scala-00bd0b0b039c6c8105bf64b5c09cef66bc2a7b89.tar.gz scala-00bd0b0b039c6c8105bf64b5c09cef66bc2a7b89.tar.bz2 scala-00bd0b0b039c6c8105bf64b5c09cef66bc2a7b89.zip | |
- Added missing cloning of type of new labels
Diffstat (limited to 'sources/scalac/transformer/TailCall.java')
| -rw-r--r-- | sources/scalac/transformer/TailCall.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scalac/transformer/TailCall.java b/sources/scalac/transformer/TailCall.java index dca3874d23..48c5a233e8 100644 --- a/sources/scalac/transformer/TailCall.java +++ b/sources/scalac/transformer/TailCall.java @@ -110,7 +110,7 @@ public class TailCall extends Transformer { /* Create a new symbol for the LabelDef */ Symbol newLabel = new TermSymbol(tree.pos, name, tree.symbol(), Modifiers.LABEL); - newLabel.setInfo(tree.symbol().type()); + newLabel.setInfo(tree.symbol().type().cloneType(tree.symbol(), newLabel)); /* Push information about the label on the state stack. */ push_label(newLabel); |