Mutability widening for literal types - #6554

Closed

Daniel Rosenwasser (DanielRosenwasser) wants to merge 22 commits into

masterfrom

literalTypeWidening

Commits on Jan 21, 2016

Start all strings off with fresh literal types.
Daniel Rosenwasser (DanielRosenwasser)
committed
107f0e9
Only perform mutability widening when the user does not supply a type annotation.
Daniel Rosenwasser (DanielRosenwasser)
committed
c349198
Only perform mutability widening when an initializer is present so that contextual typing can succeed.
Daniel Rosenwasser (DanielRosenwasser)
committed
c1f49a8
Consider 'string' to be a common supertype when all constituents are string literal types.
Daniel Rosenwasser (DanielRosenwasser)
committed
1715f52
Removed unused functions.
Daniel Rosenwasser (DanielRosenwasser)
committed
9ae177f
Correctly check for if a declaration is const, and strip freshness off of string literal types in unions.
Daniel Rosenwasser (DanielRosenwasser)
committed
1325834
Removed ad-hoc string-like checking for type assertions, switch/cases, and equality comparisons.
Daniel Rosenwasser (DanielRosenwasser)
committed
a46f923
Let 'isRelatedTo' fall down to the error case.
Daniel Rosenwasser (DanielRosenwasser)
committed
2b3e119
Accepted symbol baselines.
Daniel Rosenwasser (DanielRosenwasser)
committed
df20678
Accepted type baselines.
Daniel Rosenwasser (DanielRosenwasser)
committed
ba04c06
Accepted remaining baselines.
Daniel Rosenwasser (DanielRosenwasser)
committed
b709375
Added tests.
Daniel Rosenwasser (DanielRosenwasser)
committed
4239f64
Added tests.
Daniel Rosenwasser (DanielRosenwasser)
committed
fe514a4
Added motivating tests.
Daniel Rosenwasser (DanielRosenwasser)
committed
d38eed7
Added tests with default initializers.
Daniel Rosenwasser (DanielRosenwasser)
committed
da0b66d
Added tests for string literals within arrays.
Daniel Rosenwasser (DanielRosenwasser)
committed
ca8f7b8
Added tests where properties are unions of literal types.
Daniel Rosenwasser (DanielRosenwasser)
committed
2c4abb5
Added tests for string literal types and imports.
Daniel Rosenwasser (DanielRosenwasser)
committed
491707d
Renamed a few tests.
Daniel Rosenwasser (DanielRosenwasser)
committed
064c5b3
Accepted baselines.
Daniel Rosenwasser (DanielRosenwasser)
committed
efc7cb1
Corrected fourslash test.
Daniel Rosenwasser (DanielRosenwasser)
committed
259e62d
Fixed fourslash test.
Daniel Rosenwasser (DanielRosenwasser)
committed
0319f0f

Navigation Menu

Uh oh!

Mutability widening for literal types - #6554

Mutability widening for literal types#6554
Daniel Rosenwasser (DanielRosenwasser) wants to merge 22 commits into
masterfrom
literalTypeWidening

Commits on Jan 21, 2016

Start all strings off with fresh literal types.

Only perform mutability widening when the user does not supply a type annotation.

Only perform mutability widening when an initializer is present so that contextual typing can succeed.

Consider 'string' to be a common supertype when all constituents are string literal types.

Removed unused functions.

Correctly check for if a declaration is const, and strip freshness off of string literal types in unions.

Removed ad-hoc string-like checking for type assertions, switch/cases, and equality comparisons.

Let 'isRelatedTo' fall down to the error case.

Accepted symbol baselines.

Accepted type baselines.

Accepted remaining baselines.

Added tests.

Added tests.

Added motivating tests.

Added tests with default initializers.

Added tests for string literals within arrays.

Added tests where properties are unions of literal types.

Added tests for string literal types and imports.

Renamed a few tests.

Accepted baselines.

Corrected fourslash test.

Fixed fourslash test.