diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-01-15 10:56:41 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-01-15 10:57:16 +0100 |
| commit | 3d9a664e75307410b8845ecc1540a00924867912 (patch) | |
| tree | d9ae348b660156897d97a0162d83aa424236ec6f /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | a709a72cd2ff64e5fb81a388d95f85c62ede7db3 (diff) | |
| download | dotty-3d9a664e75307410b8845ecc1540a00924867912.tar.gz dotty-3d9a664e75307410b8845ecc1540a00924867912.tar.bz2 dotty-3d9a664e75307410b8845ecc1540a00924867912.zip | |
Fix for constant folding
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 3a8605570..644227878 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -442,7 +442,7 @@ trait Applications extends Compatibility { self: Typer => if (proto.argsAreTyped) new ApplyToTyped(tree, fun1, funRef, proto.typedArgs, pt) else new ApplyToUntyped(tree, fun1, funRef, proto, pt) val result = app.result - ConstFold(result) orElse result + ConstFold(result) } { (failedVal, failedState) => fun1 match { case Select(qual, name) => // try with prototype `[].name(args)`, this might succeed by inserting an |