Nathan Shively-Sanders
cee708df89
Remove undefined when checking patterns in function declarations
2016-12-21 10:50:38 -08:00
Nathan Shively-Sanders
8b29e8235f
Merge branch 'master' into add-undefined-to-default-valued-parameters
2016-12-16 10:03:01 -08:00
Anders Hejlsberg
f58e1a2b17
Map both declared properties and string index signatures
2016-12-14 14:59:00 -08:00
Nathan Shively-Sanders
bb6f3ad29a
Add parameter initialisers to control flow
...
Also a little code to emit them in declarations, but this doesn't work
yet.
2016-12-14 08:48:39 -08:00
Andy
757af496e1
Merge pull request #12862 from Microsoft/neater_checker
...
Make some code in checker neater
2016-12-14 07:48:40 -08:00
Nathan Shively-Sanders
ae2a13cf18
Merge pull request #12896 from Microsoft/implicit-any-error-on-explicit-any
...
Set symbol/flags only on (fresh) object spreads
2016-12-13 14:15:52 -08:00
Nathan Shively-Sanders
8dc1747db7
Set symbol/flags only on (fresh) object spreads
...
If you spread any into an object, the type is any, which should not be
changed.
2016-12-13 13:52:58 -08:00
Vladimir Matveev
e5e1533d49
mark types used in decorator metadata as referenced ( #12890 )
2016-12-13 11:46:06 -08:00
Nathan Shively-Sanders
d62dd291bd
Merge branch 'master' into add-undefined-to-default-valued-parameters
2016-12-13 10:40:04 -08:00
Andy Hanson
891159c6ac
Make some code in checker neater
2016-12-13 07:21:55 -08:00
Mohamed Hegazy
24c56a5733
Merge pull request #12775 from Microsoft/fix12724
...
Fix error on extends in declaration file with importHelpers
2016-12-12 16:18:22 -08:00
Anders Hejlsberg
055c0af397
Merge pull request #12843 from Microsoft/mappedTypeModifiers3
...
Additional tweak to mapped type property modifier propagation
2016-12-12 13:15:19 -08:00
Vladimir Matveev
d0506735e3
elaborate check before converting fresh literal type to regular ( #12595 )
2016-12-12 12:37:06 -08:00
Andy
a33e6536e0
Merge pull request #12852 from Microsoft/untyped_augmentation_2
...
Produce an error for an augmentation of an untyped module even if `moduleNotFoundError` is not defined
2016-12-12 12:33:37 -08:00
Nathan Shively-Sanders
65bb78d569
Merge pull request #12808 from Microsoft/self-referencing-spread-recursive-loop
...
Self-referencing spread recursive loop
2016-12-12 10:40:34 -08:00
Vladimir Matveev
a604d84f5c
guard against visiting the same symbol table multiple times ( #12818 )
2016-12-12 10:17:07 -08:00
Andy Hanson
83eddb549e
Produce an error for an augmentation of an untyped module even if moduleNotFoundError is not defined
2016-12-12 07:36:54 -08:00
Anders Hejlsberg
52291762d7
Additional tweak to mapped type property modifier propagation
2016-12-11 17:43:46 -08:00
Anders Hejlsberg
7c5c664a1c
Merge pull request #12826 from Microsoft/mappedTypeModifiers2
...
Improve propagation of modifiers in mapped types
2016-12-10 15:16:05 -08:00
Anders Hejlsberg
57cb4aceb7
Merge pull request #12770 from Microsoft/deferIndexedAccess
...
Defer indexed access T[K] with non-generic K
2016-12-10 15:15:39 -08:00
Anders Hejlsberg
33b512548e
Pick<T, K> and similar mapped types propagate modifiers from T
2016-12-10 10:04:30 -08:00
Nathan Shively-Sanders
a52805f641
Use checkExpression in checkSpreadExpression
...
Not checkExpressionCached. checkExpressionCached ignores ongoing control
flow analysis, which causes the following loop to make the compiler
recur infinitely:
```ts
let a = []
for (const x of []) {
a = [...a]
}
```
2016-12-09 10:50:14 -08:00
Sheetal Nandi
81452c544a
Do not report unused local error on locals that are intended for removing properties with object spread
...
Fixes #12766
2016-12-08 15:12:35 -08:00
Ron Buckton
09761b5f07
Fix error on extends in declaration file with importHelpers
2016-12-08 13:43:32 -08:00
Anders Hejlsberg
29f6e7ff12
Merge branch 'master' into deferIndexedAccess
...
# Conflicts:
# src/compiler/checker.ts
# tests/baselines/reference/keyofAndIndexedAccess.js
# tests/baselines/reference/keyofAndIndexedAccess.symbols
# tests/baselines/reference/keyofAndIndexedAccess.types
# tests/cases/conformance/types/keyof/keyofAndIndexedAccess.ts
2016-12-08 09:53:56 -08:00
Nathan Shively-Sanders
f79fca7087
Merge pull request #12675 from Microsoft/subsubclass-can-access-protected-constructor
...
Subsubclass can access protected constructor
2016-12-08 08:58:58 -08:00
Anders Hejlsberg
ca2768caf6
Property report circularity errors in indexed access types
2016-12-08 06:40:02 -08:00
Ron Buckton
8dcbea9675
Fix await for inherited promise
2016-12-07 17:17:17 -08:00
Nathan Shively-Sanders
bb9b6819b3
Merge branch 'master' into add-undefined-to-default-valued-parameters
2016-12-07 16:12:25 -08:00
Anders Hejlsberg
671f7a8dae
Defer indexed access T[K] where T is generic and K is non-generic
2016-12-06 14:41:38 -08:00
Sheetal Nandi
2a65f5ba09
Merge pull request #12691 from Microsoft/displayPartKind
...
Write property name of destructuring pattern explicitly when writing symbol display for binding element
2016-12-06 12:48:57 -08:00
Sheetal Nandi
7d049c2742
Write property name of destructuring pattern explicitly
...
There wont be any symbol for the property name but we already know it is a property name
Fixes #12166
2016-12-06 11:42:44 -08:00
Ron Buckton
9336886fc2
Added more specific diagnostic message
2016-12-06 10:57:52 -08:00
Ron Buckton
f89156bf55
Add error for super property before super
2016-12-06 10:47:02 -08:00
Nathan Shively-Sanders
b321d50170
Sub-subclasses can access protected constructor
2016-12-05 12:29:03 -08:00
Anders Hejlsberg
c52eb6cef3
Indexed access any[K] has type any
2016-12-04 07:43:10 -08:00
Anders Hejlsberg
b7e8a6d1f1
Merge pull request #12643 from Microsoft/keyofUnionIntersection
...
Properly handle unions and intersections with keyof T and T[K]
2016-12-04 07:03:15 -08:00
Anders Hejlsberg
b876211111
Property handle union/intersection types in type variable checks
2016-12-03 17:18:43 -08:00
Anders Hejlsberg
c538f1fdf7
Classify mapped type inferences as secondary
2016-12-03 11:03:18 -08:00
Anders Hejlsberg
3b1d6c969d
Treat indexed access types T[K] as type variables
2016-12-02 14:29:03 -08:00
Nathan Shively-Sanders
fc1f6e3ee6
Merge pull request #12564 from Microsoft/rest-of-untyped-binding-pattern-is-any
...
Rest of untyped binding pattern is { [s: string]: any }
2016-11-30 17:39:18 -08:00
Nathan Shively-Sanders
ddf03bae3c
Rest of untyped binding pattern is back to str index sig
2016-11-30 17:25:44 -08:00
Nathan Shively-Sanders
f6ace2d83d
Rest of untyped binding pattern is back to any
2016-11-30 13:14:08 -08:00
Ron Buckton
5c294bf505
Merge branch 'master' into improveImportHelpersDiagnostics
2016-11-30 12:29:36 -08:00
Nathan Shively-Sanders
99f352f295
Rest of untyped binding pattern is string-indexed type
...
This is more correct than any and the code is more elegant as well.
2016-11-30 10:44:00 -08:00
Anders Hejlsberg
e14412af0e
Improve handling of modifiers in mapped type inference
2016-11-30 10:23:33 -08:00
Mohamed Hegazy
4c9bdb932a
Merge pull request #12552 from Microsoft/spreadRestIntersectionAndUnions
...
Spread & rest over intersection and unions
2016-11-29 17:27:04 -08:00
Mohamed Hegazy
505c153fed
Simplify isValidSpreadType
2016-11-29 16:57:37 -08:00
Mohamed Hegazy
2152683325
Simplify logic
2016-11-29 16:55:50 -08:00
Mohamed Hegazy
2178d5526f
extract filterNullableTypes
2016-11-29 16:30:27 -08:00
