Anders Hejlsberg
65d1510769
Adding rudimentary tests
2014-12-02 16:23:37 -08:00
Anders Hejlsberg
ab35da9b87
Baseline changes from updating rest parameter emit to use new temporary names
2014-12-02 11:49:28 -08:00
Anders Hejlsberg
501a3704f9
Accepting new baselines
2014-11-28 18:33:37 -08:00
Anders Hejlsberg
98eaca541a
Accepting new baselines
2014-11-28 10:06:43 -08:00
Daniel Rosenwasser
f51a42c6de
Fixed issue where template expression in call expressions would emit with unnecessary parentheses.
...
Fixes #1205 .
2014-11-19 17:04:34 -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
