564 Commits

Author SHA1 Message Date
Yui T
169bc219f2 Merge branch 'binaryIntegerLiteral' of https://github.com/Microsoft/TypeScript into binaryIntegerLiteral 2014-11-24 18:38:03 -08:00
Yui T
30d58dd220 Address code review 2014-11-24 18:36:07 -08:00
Yui T
a580040863 Address code review 2014-11-24 14:36:05 -08:00
Yui T
5774e64d92 Add test cases 2014-11-23 18:05:21 -08:00
Yui T
49c8e83616 Merge branch 'master' into fixParsingShorthand 2014-11-19 13:24:22 -08:00
Yui T
acac08147b Address code review 2014-11-19 12:28:06 -08:00
Yui T
b8bcc700fa Improve error messages 2014-11-18 16:15:04 -08:00
Mohamed Hegazy
22e2bde7e9 Merge pull request #1158 from gisenberg/master
Adding support for named AMD modules.
2014-11-18 12:18:48 -08:00
Gabriel Isenberg
b54143c326 Added an error condition for multiple AMD module name assignments. 2014-11-18 11:26:44 -08:00
Cyrus Najmabadi
886feda759 Update the new scanner to follow the new regex scanning rules. 2014-11-17 18:33:10 -08:00
Anders Hejlsberg
9f284184be Merge pull request #1180 from Microsoft/recursiveTypeComparison
Improve caching in recursive type comparisons (fixes #1170)
2014-11-17 13:11:42 -08:00
Yui T
1b66ee6f3a Merge branch 'master' into shorthandProperty
Conflicts:
	src/compiler/checker.ts
2014-11-17 11:35:02 -08:00
Anders Hejlsberg
9a1b031469 Accepting new baselines. 2014-11-17 10:46:02 -08:00
Dick van den Brink
c90fb4a7d3 Update baseline 2014-11-16 22:05:07 +01:00
Dick van den Brink
e7bb2e0ba7 Merge branch 'master' into warnaserror
Conflicts:
	src/compiler/diagnosticInformationMap.generated.ts
	src/compiler/diagnosticMessages.json
	src/compiler/types.ts
	src/harness/harness.ts
2014-11-16 22:02:00 +01:00
Yui T
880e958d11 Fix comment 2014-11-14 16:30:03 -08:00
Yui T
03e0722927 Add test cases and rename test files 2014-11-14 15:44:06 -08:00
Anders Hejlsberg
bdfb5697af Merge pull request #1163 from Microsoft/typeGuards
Fixes to type guards
2014-11-14 15:36:07 -08:00
Anders Hejlsberg
df544a687c Addressing CR feedback 2014-11-14 13:36:09 -08:00
Anders Hejlsberg
91b97009f0 Modifying tests and accepting new baselines 2014-11-14 10:42:31 -08:00
Daniel Rosenwasser
5646743559 Added tests for defining TemplateStringsArray in certain contexts. 2014-11-13 15:17:53 -08:00
Yui T
a8ebdf0cbd Address code review 2014-11-13 12:02:13 -08:00
Gabriel Isenberg
843d3ec7ca Added a compiler test for named AMD modules. 2014-11-13 11:00:06 -08:00
Daniel Rosenwasser
828e31b318 Baselines, using 'unknown' as a default type. 2014-11-12 18:08:16 -08:00
Sheetal Nandi
152c77cd2a Add test cases for typeof x == s and typeof x != s form of typeguard which has no effect on narrowing type 2014-11-12 12:49:29 -08:00
Sheetal Nandi
45ca9d285f Add test case for instance of type guard with interface with prototype property 2014-11-12 12:36:06 -08:00
Sheetal Nandi
c0b26a9691 Merge branch 'master' into typeGuardConformance 2014-11-12 12:24:43 -08:00
Sheetal Nandi
b1297b2b65 Instead of setting fresh value, or the value with existing one of if alias is referenced in value position
Fixes #1130
2014-11-11 23:49:57 -08:00
Sheetal Nandi
ce51343e73 Adding testcase for the incorrect eliding of the import declarations 2014-11-11 23:38:18 -08:00
Sheetal Nandi
4c28e73372 All the identifiers need to be escaped to make sure compiler doesnt confuse __NonUnderscore character incorrectly
Fixes #548
2014-11-11 15:44:25 -08:00
Daniel Rosenwasser
7a5c360025 Merge pull request #1072 from Microsoft/taggedTemplates
Type checking for tagged template expressions
2014-11-11 13:54:26 -08:00
Yui T
bb7a0aa9d9 Add conformance tests 2014-11-11 11:31:45 -08:00
Sheetal Nandi
57af2623c6 If we are comparing left hand side for is position of type node, it is false, because it is namespace position and not type position
Fixes #837
2014-11-10 19:19:33 -08:00
Yui T
7e39622d5d Basic implementation for finding all references 2014-11-10 14:55:41 -08:00
Daniel Rosenwasser
6d353c078c Merge branch 'master' into taggedTemplates 2014-11-07 16:24:40 -08:00
Daniel Rosenwasser
d99023ed98 Merge pull request #1094 from Microsoft/findAllRefsInTemplates
Corrected isExpression for templates.
2014-11-07 16:24:22 -08:00
Daniel Rosenwasser
986a0b7343 Fixed issues with incomplete calls, cleaned some code up. 2014-11-07 16:23:59 -08:00
Daniel Rosenwasser
c9919bb9ec Added baselines. 2014-11-07 14:13:38 -08:00
Sheetal Nandi
8ab038f1a3 Fixed the merge conflicts that went undetected in github 2014-11-06 18:02:29 -08:00
Sheetal Nandi
9e2eb3bc03 Merge pull request #1058 from Microsoft/contextualUnionTypeConformance
Contextual union type conformance test cases and Fix for contextual union signature
2014-11-06 16:25:40 -08:00
Sheetal Nandi
727f36ad02 Merge pull request #1080 from Microsoft/breakpointTypeAlias
Breakpoint type alias
2014-11-06 16:24:56 -08:00
Sheetal Nandi
e4c88eeae1 Breakpoint validation for Let and cost 2014-11-06 15:49:59 -08:00
Sheetal Nandi
61c45816c4 Type aliases cannot have breakpoints 2014-11-06 15:40:28 -08:00
Sheetal Nandi
1e4f0b81fa Verify breakpoints in type alias syntax 2014-11-06 15:38:47 -08:00
Sheetal Nandi
da314a3774 Merge pull request #1041 from Microsoft/declFilePrivateMethodOverload
Declaration file emit for private method overloads
2014-11-06 14:54:06 -08:00
Sheetal Nandi
52a8560298 Typeguards of form !expr
•	A type guard of the form !expr
o	when true, narrows the type of x by expr when false, or
o	when false, narrows the type of x by expr when true.
2014-11-06 13:04:43 -08:00
Sheetal Nandi
c9a03dc659 Typeguards of form expr1 || expr2
•	A type guard of the form expr1 || expr2
o	when true, narrows the type of x to T1 | T2, where T1 is the type of x narrowed by expr1 when true, and T2 is the type of x narrowed by expr1 when false and then by expr2 when true, or
o	when false, narrows the type of x by expr1 when false and then by expr2 when false.
2014-11-06 13:04:40 -08:00
Sheetal Nandi
486d37ec90 TypeGuard of for expr1 && expr2
•	A type guard of the form expr1 && expr2
o	when true, narrows the type of x by expr1 when true and then by expr2 when true, or
o	when false, narrows the type of x to T1 | T2, where T1 is the type of x narrowed by expr1 when false, and T2 is the type of x narrowed by expr1 when true and then by expr2 when false.
2014-11-06 13:04:37 -08:00
Sheetal Nandi
7ebf5371a5 Test cases for typeguards of form typeof x === s and typeof x !== s
•	A type guard of the form typeof x === s, where s is a string literal with the value ‘string’, ‘number’, or ‘boolean’,
o	when true, narrows the type of x to the given primitive type, or
o	when false, removes the primitive type from the type of x.
•	A type guard of the form typeof x === s, where s is a string literal with any value but ‘string’, ‘number’, or ‘boolean’,
o	when true, removes the primitive types string, number, and boolean from the type of x, or
o	when false, has no effect on the type of x.
•	A type guard of the form typeof x !== s, where s is a string literal,
o	when true, narrows the type of x by typeof x === s when false, or
o	when false, narrows the type of x by typeof x === s when true.
2014-11-06 13:04:34 -08:00
Sheetal Nandi
5961ed7154 Test typeguard of form instance of
•	A type guard of the form x instanceof C, where C is of a subtype of the global type ‘Function’ and C has a property named ‘prototype’
o	when true, narrows the type of x to the type of the ‘prototype’ property in C provided it is a subtype of the type of x, or
o	when false, has no effect on the type of x.
2014-11-06 13:04:30 -08:00