8000 Feature: Self-Type-Checking Types by devanshj · Pull Request #52088 · microsoft/TypeScript · GitHub
[go: up one dir, main page]
Skip to content

Feature: Self-Type-Checking Types #52088

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 31 commits into from
Closed

Feature: Self-Type-Checking Types #52088

Changes from 1 commit
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
188b9bb
use bigint for type flags
devanshj Dec 19, 2022
5540ad5
self-type-checking types
devanshj Dec 19, 2022
34c8a80
add `NeverWithError` and `Print` type constructs
devanshj Dec 19, 2022
c4d98c3
fix bad comment
devanshj Dec 27, 2022
78d74a9
add new tests
devanshj Jan 3, 2023
f3dc6f5
make minor changes to some tests
devanshj Jan 3, 2023
ff00503
accept new baselines
devanshj Jan 3, 2023
a41f15b
fix lint
devanshj Jan 3, 2023
ea6d257
remove debug logging
devanshj Jan 3, 2023
69b7959
resolve conflicts
devanshj Jan 3, 2023
389833b
fix code to accomodate #51682
devanshj Jan 3, 2023
0e38395
allow intrinsic keyword in new intrinsic types
devanshj Jan 3, 2023
c10528b
add self as a global keyword in fourslash
devanshj Jan 3, 2023
e3cff6b
add "self" to more places in fourslash
devanshj Jan 3, 2023
9c076aa
remove accidently added `Map` global in fourslash
devanshj Jan 4, 2023
afdc60e
remove a possibly false positive debug assertion
devanshj Jan 4, 2023
a1fb821
remove a todo as it got fixed after resolving conflicts
devanshj Jan 4, 2023
2ee5f95
accept new baseline for new tests after resolving conflict
devanshj Jan 4, 2023
a805ae9
create a new type construct "Selfed"
devanshj Jan 6, 2023
3e9e52e
accept baseline
devanshj Jan 6, 2023
bf8b3ab
fix completions order
devanshj Jan 6, 2023
90c9032
accept completions and other chore baseline
devanshj Jan 6, 2023
bc980f1
fix lint
devanshj Jan 6, 2023
8ffb161
fix external .d.ts
devanshj Jan 7, 2023
d3e64a5
recognise "self" as a type at missing places
devanshj Jan 7, 2023
8b0e980
accept completions baseline
devanshj Jan 7, 2023
0eef6df
accept external .d.ts baseline
devanshj Jan 7, 2023
9ecf8a8
make self instantiation more resilient
devanshj Jan 7, 2023
9815389
create an emit flag to not escape string literals
devanshj Jan 7, 2023
ecfa9ed
fix lint
devanshj Jan 7, 2023
303ea00
accept new public api baseline
devanshj Jan 7, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix completions order
  • Loading branch information
@devanshj
devanshj committed Jan 6, 2023
commit bf8b3ab38838bcc4da2823bc3b29d6c0ce6cf8bf
10 changes: 5 additions & 5 deletions src/harness/fourslashInterfaceImpl.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1085,14 +1085,14 @@ export namespace Completion {
"number",
"object",
"readonly",
"self",
"string",
"symbol",
"true",
"undefined",
"unique",
"unknown",
"self",
"void",
"void"
].map(keywordEntry);

export function sorted(entries: readonly ExpectedCompletionEntry[]): readonly ExpectedCompletionEntry[] {
Expand Down Expand Up @@ -1263,13 +1263,13 @@ export namespace Completion {
case "readonly":
case "number":
case "object":
case "self":
case "string":
case "symbol":
case "type":
case "unique":
case "override":
case "unknown":
case "self":
case "global":
case "bigint":
return false;
Expand Down Expand Up @@ -1400,6 +1400,7 @@ export namespace Completion {
"readonly",
"return",
"satisfies",
"self",
"string",
"super",
"switch",
Expand All @@ -1412,7 +1413,6 @@ export namespace Completion {
"typeof",
"unique",
"unknown",
"self",
"var",
"void",
"while",
Expand Down Expand Up @@ -1616,6 +1616,7 @@ export namespace Completion {
"readonly",
"return",
"satisfies",
"self",
"string",
"super",
"switch",
Expand All @@ -1628,7 +1629,6 @@ export namespace Completion {
"typeof",
"unique",
"unknown",
"self",
"var",
"void",
"while",
Expand Down
0