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
devanshj wants to merge 31 commits into from
Closed

Feature: Self-Type-Checking Types #52088

Show file tree
Hide file tree
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
accept completions and other chore baseline
  • Loading branch information
@devanshj
devanshj committed Jan 6, 2023
commit 90c9032d7b53b32c227da796e7f08a33ae3e9d32
12 changes: 6 additions & 6 deletions ...es/reference/TwoInternalModulesThatMergeEachWithExportedLocalVarsOfTheSameName.errors.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
tests/cases/conformance/internalModules/DeclarationMerging/part2.ts(3,24): error TS2304: Cannot find name 'Point'.
tests/cases/conformance/internalModules/DeclarationMerging/part2.ts(7,36): error TS2304: Cannot find name 'Point'.
tests/cases/conformance/internalModules/DeclarationMerging/part2.ts(7,54): error TS2304: Cannot find name 'Point'.
tests/cases/conformance/internalModules/DeclarationMerging/part2.ts(3,24): error TS2552: Cannot find name 'Point'. Did you mean 'Print'?
tests/cases/conformance/internalModules/DeclarationMerging/part2.ts(7,36): error TS2552: Cannot find name 'Point'. Did you mean 'Print'?
tests/cases/conformance/internalModules/DeclarationMerging/part2.ts(7,54): error TS2552: Cannot find name 'Point'. Did you mean 'Print'?


==== tests/cases/conformance/internalModules/DeclarationMerging/part1.ts (0 errors) ====
Expand All @@ -24,15 +24,15 @@ tests/cases/conformance/internalModules/DeclarationMerging/part2.ts(7,54): error
// collision with 'Origin' var in other part of merged module
export var Origin: Point = { x: 0, y: 0 };
~~~~~
!!! error TS2304: Cannot find name 'Point'.
!!! error TS2552: Cannot find name 'Point'. Did you mean 'Print'?

export module Utils {
export class Plane {
constructor(public tl: Point, public br: Point) { }
~~~~~
!!! error TS2304: Cannot find name 'Point'.
!!! error TS2552: Cannot find name 'Point'. Did you mean 'Print'?
~~~~~
!!! error TS2304: Cannot find name 'Point'.
!!! error TS2552: Cannot find name 'Point'. Did you mean 'Print'?
}
}
}
Expand Down
Loading