Pattern matcher fails new undefined/doubly defined symbol tests

[odersky]

See the branch dotty-staging:transform/lambdalift.

The last commit contains tests for undefined/doubly defined symbols. The tests pass for -Ycheck:front, but fail for -Ycheck:patternMatcher. This looks like a blocker for integrating lambda lift.

[DarkDimius]

@odersky running all tests on commit 6590aa8 with options
"-Ycheck:patternMatcher", "-Ystop-before:erasure" shows no errors for me.
Running with -Ycheck:gettersSetters shows CyclicReference failures for 6 tests. Can you please tell me how to reproduce?

[DarkDimius]

Commented out dotc_transform fails during refchecks with CyclicReference error, ie before patternMatcher even started. https://gist.github.com/DarkDimius/187331e3e71afd06a0fe

[odersky]

Oops. The tests were commented out. Should be fixed now.

On Fri, Oct 24, 2014 at 6:56 PM, Dmitry Petrashko notifications@github.com
wrote:

@odersky https://github.com/odersky running all tests on commit 6590aa8
6590aa8
with options
"-Ycheck:patternMatcher", "-Ystop-before:erasure" shows no errors for me.
Running with -Ycheck:gettersSetters shows CyclicReference failures for 6
tests errors. Can you please tell me how to reproduce?

—
Reply to this email directly or view it on GitHub
#198 (comment).

Martin Odersky
EPFL

[DarkDimius]

@odersky Pushed 2 commits to your branch. Should be fixed now.