719 Commits

Author SHA1 Message Date
Sheetal Nandi
a4ab192b6f Fix the merge conflicts 2014-12-04 13:38:51 -08:00
CyrusNajmabadi
4d0f9920e9 Merge pull request #1364 from Microsoft/coverage
Add grammar walker test coverage cases.
2014-12-04 13:01:42 -08:00
Cyrus Najmabadi
d796bf1e0a Improve the flexibility of speculative parsing.
We now no longer fail a speculative parse just because an error was encountered at any point while
speculating.  instead, we allow the speculative function that is being called to determine if the
parse was successful or not.  Only if it decides it was not successful is parsing rewound.

This improves our error recovery in several cases (esp. around arrow functions).  it will also
help in a followup refactoring to prevent lookahead/speculative parsing from causing lambda
allocations.
2014-12-04 08:53:45 -08:00
Cyrus Najmabadi
4db419d93c more baselines. revert unintentional change to harness.ts. 2014-12-03 22:14:55 -08:00
Cyrus Najmabadi
e6d1e39fb7 Add more coverage tests. 2014-12-03 21:07:50 -08:00
Cyrus Najmabadi
66c1b3df20 Add grammar walker test coverage cases. 2014-12-03 20:41:39 -08:00
Cyrus Najmabadi
3440869010 Print out methods in the types of object literals as if they were methods, not function typed properties. 2014-12-03 03:19:46 -08:00
Cyrus Najmabadi
d5ef6226da Emit FunctionPropertyAssignments in their native form when emitting in ES6 mode. 2014-12-03 02:09:15 -08:00
Cyrus Najmabadi
44f30c8ba9 Remove baseline-hacks from the typewriter. 2014-12-03 01:55:22 -08:00
Cyrus Najmabadi
0900005438 Don't rewrite function property assignments in the AST. 2014-12-03 01:46:04 -08:00
Cyrus Najmabadi
f520129e2c Simplify arrow function expression parsing.
Reduce allocations by avoiding the need for a superfluous 'ParsedSignature'.
2014-12-02 19:04:51 -08:00
Cyrus Najmabadi
5a7500ca5e Add a dedicated 'EndOfFile' token to a SourceFile.
This is important for incremental parsing, as it is where we can attach parse errors at the end of
the file to.  Also, it helps with things like emitting comments at the end of the file.
2014-12-02 16:09:41 -08:00
Cyrus Najmabadi
ec17f369a2 Find imported external modules that start with double underscores. 2014-12-02 14:14:57 -08:00
Cyrus Najmabadi
a6a7e81de2 Add failing test. 2014-12-02 14:05:35 -08:00
Mohamed Hegazy
cf1f6406bb Merge pull request #1332 from Microsoft/getEmitOutputCleanup
Ensure getEmitOutput only check the file requested
2014-12-02 13:21:13 -08:00
Sheetal Nandi
8b078c2734 baseline change conflict not caught during github merge 2014-12-02 08:46:33 -08:00
Sheetal Nandi
802f11349f Merge pull request #1056 from Microsoft/unionTypeConformance
Union type conformance
2014-12-02 08:02:34 -08:00
Cyrus Najmabadi
03a2d0197b Make 'CatchClause' have-a block, instead of be-a block. 2014-12-01 23:21:27 -08:00
Mohamed Hegazy
08165c0b17 Ensure getEmitOutput only check the file requested 2014-12-01 23:15:13 -08:00
Cyrus Najmabadi
db89584a86 Put semantically relevant tokens in the tree. 2014-12-01 22:03:41 -08:00
Cyrus Najmabadi
f8f314868b Merge branch 'master' into lessDirectCallsToError
Conflicts:
	src/compiler/checker.ts
	src/compiler/diagnosticInformationMap.generated.ts
	src/compiler/diagnosticMessages.json
2014-12-01 17:42:59 -08:00
Mohamed Hegazy
4e79458e69 Merge branch 'master' into es6typings
Conflicts:
	tests/baselines/reference/constDeclarationShadowedByVarDeclaration3.types
2014-12-01 16:51:10 -08:00
Mohamed Hegazy
203e46c335 Merge pull request #1317 from vvakame/addMissingPrototypeProperty
Add missing prototype properties
2014-12-01 16:38:37 -08:00
Cyrus Najmabadi
d730e5ca55 Remove 'missing' syntax kind. 2014-12-01 16:17:04 -08:00
Mohamed Hegazy
170014c3da Merge pull request #1312 from Microsoft/isDeclarationVisibleAssert
Handle assert for missing node kind in isDeclarationVisible for functionType and constructorType
2014-12-01 14:30:25 -08:00
Mohamed Hegazy
199b71c2ce Merge branch 'master' into es6Typings 2014-12-01 13:22:20 -08:00
Mohamed Hegazy
0f6574e7e6 Add test for getters and setters 2014-12-01 13:20:56 -08:00
Mohamed Hegazy
da588aa4bc Merge branch 'master' into isDeclarationVisibleAssert
Conflicts:
	src/compiler/checker.ts
2014-12-01 13:19:12 -08:00
Daniel Rosenwasser
9da7287eaa Merge pull request #1275 from Microsoft/unterminator
Keep track of unterminated literal expressions.
2014-12-01 12:57:33 -08:00
Yui T
7ec49fd80e Merge branch 'master' into binaryIntegerLiteral
Conflicts:
	src/compiler/diagnosticInformationMap.generated.ts
	src/compiler/diagnosticMessages.json
	src/compiler/emitter.ts
	tests/baselines/reference/objectTypesWithOptionalProperties.errors.txt
2014-12-01 11:22:37 -08:00
Yui T
847eb097cb Add baseline 2014-12-01 10:52:49 -08:00
vvakame
bf731646ec Add missing prototype properties 2014-12-01 21:32:35 +09:00
Cyrus Najmabadi
1600b38760 Don't explicitly call 'error' when parsing a type. 2014-12-01 03:15:51 -08:00
Cyrus Najmabadi
ada6cebef3 Don't parse nodes, only to not include them in the tree. This will break incremental parsing scenarios.
Properly store the data for an external module reference in the AST.
2014-12-01 03:00:27 -08:00
Cyrus Najmabadi
94febee138 Don't create errors directly when parsing template spans. 2014-12-01 00:52:52 -08:00
Cyrus Najmabadi
f91996a80c Don't report an error directly when parsing a function body. 2014-12-01 00:31:31 -08:00
Mohamed Hegazy
fde249d6a8 Handle TypeReference nodes 2014-11-30 23:54:21 -08:00
Cyrus Najmabadi
ebe8711a21 Better error recover when there is an unterminated expression before a declaration. 2014-11-30 22:28:17 -08:00
Cyrus Najmabadi
16e28156e5 Support arbitrary numbers of implements and extends clauses (with arbitrary numbers of types) for classes and interfaces.
This vastly improves our error tolerance and messages for when the user writes an illegal heritage clause sequence.
2014-11-30 15:38:45 -08:00
Mohamed Hegazy
0246daec83 Handel TypeLiterals, ParenTypes, UnionTypes, and ArrayTypes 2014-11-30 11:47:41 -08:00
Mohamed Hegazy
9ed27b23ab Handel assert for missing node kind in isDeclarationVisible for functionType and constructorType 2014-11-30 11:04:15 -08:00
Cyrus Najmabadi
13f319b6ec Add a lot of clarifying comments in the parser.
Simplify parser and avoid the need to pass around 'inNewExpression' information.

Make error span smaller for "new Foo[]" errors.
2014-11-29 14:51:25 -08:00
Cyrus Najmabadi
29ced53a4d Add parser tests for let/const. 2014-11-28 14:50:58 -08:00
Mohamed Hegazy
507ec3db3f Merge branch 'master' into es6Typings 2014-11-27 10:00:32 -08:00
Mohamed Hegazy
d3e70ecfbf Merge branch 'master' into es6typings
Conflicts:
	src/compiler/parser.ts
	src/compiler/tsc.ts
	src/harness/harness.ts
	src/harness/projectsRunner.ts
	tests/baselines/reference/templateStringsArrayTypeDefinedInES5Mode.errors.txt
2014-11-27 09:59:46 -08:00
Jason Freeman
ddebd02828 Accept type baselines (will verify when computed properties are typechecked) 2014-11-26 20:15:36 -08:00
Jason Freeman
1a8816f459 Address feedback 2014-11-26 20:10:49 -08:00
Daniel Rosenwasser
ae384470a4 Tests for terminated/unterminated template strings. 2014-11-26 17:14:08 -08:00
Jason Freeman
d43ed2f10e Fix merge issues 2014-11-25 16:09:07 -08:00
Jason Freeman
f6266fc99e Checker refactor for FunctionLike and VariableOrProperty 2014-11-25 16:09:05 -08:00