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 d72c6b739766844947c00e838b1337753743555e..b37fe708a27c8d72bf11bd227a842f411db31559 100644 |
--- a/pkg/compiler/lib/src/parser/partial_elements.dart |
+++ b/pkg/compiler/lib/src/parser/partial_elements.dart |
@@ -427,7 +427,7 @@ class PartialClassElement extends ClassElementX with PartialElement { |
parsing.measure(() { |
MemberListener listener = new MemberListener( |
parsing.getScannerOptionsFor(this), reporter, this); |
- Parser parser = new ClassElementParser(listener); |
+ Parser parser = new ClassElementParser(listener, parsing.parserOptions); |
try { |
Token token = parser.parseTopLevelDeclaration(beginToken); |
assert(identical(token, endToken.next)); |
@@ -491,7 +491,7 @@ Node parse( |
if (partial.hasParseError) { |
listener.suppressParseErrors = true; |
} |
- doParse(new Parser(listener)); |
+ doParse(new Parser(listener, parsing.parserOptions)); |
} on ParserError catch (e) { |
partial.hasParseError = true; |
return new ErrorNode(element.position, e.reason); |