| Index: pkg/compiler/lib/src/parser/partial_elements.dart
|
| diff --git a/pkg/compiler/lib/src/parser/partial_elements.dart b/pkg/compiler/lib/src/parser/partial_elements.dart
|
| index 6e3e11ce35523878911ed7bb3f849d601f19c0e9..891f71aa0bee4d85c2af14e1077b2c159394ea35 100644
|
| --- a/pkg/compiler/lib/src/parser/partial_elements.dart
|
| +++ b/pkg/compiler/lib/src/parser/partial_elements.dart
|
| @@ -421,7 +421,8 @@ class PartialClassElement extends ClassElementX with PartialElement {
|
| DiagnosticReporter reporter = parsing.reporter;
|
| reporter.withCurrentElement(this, () {
|
| parsing.measure(() {
|
| - MemberListener listener = new MemberListener(reporter, this);
|
| + MemberListener listener = new MemberListener(
|
| + parsing.getScannerOptionsFor(this), reporter, this);
|
| Parser parser = new ClassElementParser(listener);
|
| try {
|
| Token token = parser.parseTopLevelDeclaration(beginToken);
|
| @@ -479,7 +480,8 @@ Node parse(
|
| return parsing.measure(() {
|
| return reporter.withCurrentElement(element, () {
|
| CompilationUnitElement unit = element.compilationUnit;
|
| - NodeListener listener = new NodeListener(reporter, unit);
|
| + NodeListener listener = new NodeListener(
|
| + parsing.getScannerOptionsFor(element), reporter, unit);
|
| listener.memberErrors = listener.memberErrors.prepend(false);
|
| try {
|
| if (partial.hasParseError) {
|
|
|