Skip to content
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.

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

[Extension type] Co19 tests - add tests #1400

Closed
Tracked by #52684
itsjustkevin opened this issue Aug 19, 2022 · 4 comments
Closed
Tracked by #52684

[Extension type] Co19 tests - add tests #1400

itsjustkevin opened this issue Aug 19, 2022 · 4 comments
Assignees
Labels
type-enhancement A request for a change that isn't a bug

Comments

@itsjustkevin
Copy link

No description provided.

@sgrekhov
Copy link
Contributor

@itsjustkevin @eernstg where can I find specification of this feature?

@eernstg
Copy link
Member

eernstg commented Aug 22, 2022

Hi @sgrekhov, discussions about the language design in this area are ongoing, please delay the work on testing this feature until we have a settled design.

@sgrekhov sgrekhov added the type-enhancement A request for a change that isn't a bug label Oct 3, 2022
@sgrekhov sgrekhov self-assigned this Oct 4, 2022
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Oct 4, 2022
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Oct 6, 2022
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Oct 10, 2022
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Oct 11, 2022
eernstg pushed a commit that referenced this issue Oct 11, 2022
Authored by @sgrekhov.

[Views] Syntax tests added.
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue Oct 24, 2022
2022-10-21 sgrekhov22@gmail.com Fixes dart-lang/co19#1511. [Records] Remove `records` experimental flag from legacy libraries (dart-lang/co19#1512)
2022-10-21 sgrekhov22@gmail.com Fixes dart-lang/co19#1477. [Records] Type inference tests updated (dart-lang/co19#1500)
2022-10-21 sgrekhov22@gmail.com Fixes dart-lang/co19#1505. [Records] Added tests for dynamic access to record fields (dart-lang/co19#1507)
2022-10-19 sgrekhov22@gmail.com dart-lang/co19#1399. [Records] Interaction with legacy tests added (dart-lang/co19#1502)
2022-10-19 sgrekhov22@gmail.com dart-lang/co19#195. Typos fixed (dart-lang/co19#1508)
2022-10-19 sgrekhov22@gmail.com dart-lang/co19#993. [ffi] nullptr test added (dart-lang/co19#1506)
2022-10-14 asashour@yahoo.com Fix typos (dart-lang/co19#1504)
2022-10-12 sgrekhov22@gmail.com Fixes dart-lang/co19#1427. Expando tests added (dart-lang/co19#1479)
2022-10-12 sgrekhov22@gmail.com dart-lang/co19#1399. [Records] More members tests added (dart-lang/co19#1501)
2022-10-12 49699333+dependabot[bot]@users.noreply.github.com Bump actions/checkout from 3.0.2 to 3.1.0 (dart-lang/co19#1499)
2022-10-11 sgrekhov22@gmail.com dart-lang/co19#1400. [Views] Syntax tests added (dart-lang/co19#1498)
2022-10-07 sgrekhov22@gmail.com Fixes dart-lang/co19#1491. Use correct record type in 'as' expression (dart-lang/co19#1497)
2022-10-07 sgrekhov22@gmail.com Fixes dart-lang/co19#1489. Don't use '?' in expressions (dart-lang/co19#1495)
2022-10-07 sgrekhov22@gmail.com Fixes dart-lang/co19#1488. Use correct record types (dart-lang/co19#1493)
2022-10-07 sgrekhov22@gmail.com Fixes dart-lang/co19#1490. Missing parameters names added (dart-lang/co19#1496)

Change-Id: I6d26701ee14a0c7820e3c3094d7d850c0f914028
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/265087
Reviewed-by: Alexander Thomas <athom@google.com>
@itsjustkevin itsjustkevin changed the title [Views] Co19 tests - add tests [Inline Class] Co19 tests - add tests Mar 6, 2023
@itsjustkevin itsjustkevin changed the title [Views] Co19 tests - add tests [Inline Class] Co19 tests - add tests Mar 6, 2023
eernstg pushed a commit that referenced this issue May 16, 2023
Update inline class syntax tests, add one missing test
eernstg pushed a commit that referenced this issue May 17, 2023
Static analysis of an inline member invocation tests
sgrekhov added a commit to sgrekhov/co19 that referenced this issue May 23, 2023
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue May 24, 2023
2023-05-24 sgrekhov22@gmail.com Fixes dart-lang/co19#2061. Add expected analyzer error (dart-lang/co19#2062)
2023-05-23 sgrekhov22@gmail.com Fixes dart-lang/co19#2059. Don't expect an error in a weak mode (dart-lang/co19#2060)
2023-05-23 sgrekhov22@gmail.com Fixes dart-lang/co19#2056. Make const_evaluation_A06_* tests weak (dart-lang/co19#2057)
2023-05-22 sgrekhov22@gmail.com Fixes dart-lang/co19#2054. Fix non-initialized variable (dart-lang/co19#2055)
2023-05-17 sgrekhov22@gmail.com dart-lang/co19#1400. Static analysis of an inline member invocation tests (dart-lang/co19#2050)
2023-05-17 sgrekhov22@gmail.com Fixes dart-lang/co19#2051. Typo fixed in syntax_A04_t04.dart (dart-lang/co19#2052)
2023-05-16 sgrekhov22@gmail.com dart-lang/co19#1400. Inline classes syntax tests updated and missing one added (dart-lang/co19#2048)
2023-05-16 sgrekhov22@gmail.com dart-lang/co19#1912. Comments in Const evaluation tests improved (dart-lang/co19#2041)
2023-05-15 devoncarew@google.com blast_repo fixes (dart-lang/co19#2049)
2023-05-15 sgrekhov22@gmail.com Fixes dart-lang/co19#1912. More tests for CONST_CANONICAL_TYPE added (dart-lang/co19#2038)

Change-Id: I10419ad4fc0f325c76a1c0b7033b5a874bc66fd3
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/305220
Reviewed-by: Alexander Thomas <athom@google.com>
eernstg pushed a commit that referenced this issue May 25, 2023
Add tests on the dynamic semantics of an Inline member invocation
eernstg pushed a commit that referenced this issue May 26, 2023
Add tests about the static analysis of inline classes. Part 1
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Jun 1, 2023
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue Jun 1, 2023
2023-05-31 sgrekhov22@gmail.com Fixes dart-lang/co19#2069. Failing NNBD tests fixed (dart-lang/co19#2070)
2023-05-31 sgrekhov22@gmail.com dart-lang/co19#1400. Tests for constructors of inline classes added (dart-lang/co19#2065)
2023-05-30 sgrekhov22@gmail.com Fixes dart-lang/co19#2066. Update Superinterface tests according to the current specification (dart-lang/co19#2067)
2023-05-26 sgrekhov22@gmail.com dart-lang/co19#1400. Static analysis of inline class tests. Part 1 (dart-lang/co19#2058)
2023-05-25 sgrekhov22@gmail.com dart-lang/co19#1400. Dynamic Semantics of an Inline Member Invocation tests (dart-lang/co19#2053)
2023-05-24 sgrekhov22@gmail.com dart-lang/co19#1952. Constructor of classes that cannot be constructed cannot be torn off (dart-lang/co19#2063)

Change-Id: I634844738f85a55ee5750621ca1d85b52a9869a6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/306840
Reviewed-by: Alexander Thomas <athom@google.com>
eernstg pushed a commit that referenced this issue Jun 2, 2023
More static analysis of the inline class tests
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Jun 2, 2023
eernstg pushed a commit that referenced this issue Jun 2, 2023
`static_analysis_inline_class_A09_t01.dart` and `static_analysis_inline_class_A10_t01.dart` were deleted. Other tests were renamed to fill the gap in the enumeration.
eernstg pushed a commit that referenced this issue Jun 7, 2023
Static analysis of inline class tests, part 3. Note that LanguageFeatures/Inline-classes/syntax_A02_t14.dart contains a syntax error, which is intentional.
eernstg pushed a commit that referenced this issue Oct 9, 2023
…#2300)

Add more tests for private fields promotion of extension types
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue Oct 15, 2023
2023-10-13 sgrekhov22@gmail.com Fixes dart-lang/co19#2310. Fix new roll failures (dart-lang/co19#2311)
2023-10-13 sgrekhov22@gmail.com Fixes dart-lang/co19#2306. Fix promoted instance type in not_promotable_A01_t04.dart (dart-lang/co19#2309)
2023-10-13 sgrekhov22@gmail.com Fixes dart-lang/co19#2307. Don't expect private fields promotion on static fields (dart-lang/co19#2308)
2023-10-11 sgrekhov22@gmail.com dart-lang/co19#2291. Update `Link.create()` tests according to the documentation (dart-lang/co19#2299)
2023-10-11 sgrekhov22@gmail.com dart-lang/co19#2275. Add `noSuchMethod` tests. Part 3 (dart-lang/co19#2294)
2023-10-10 sgrekhov22@gmail.com dart-lang/co19#2275. Add `noSuchMethod` tests. Part 4 (dynamic semantics) (dart-lang/co19#2296)
2023-10-10 sgrekhov22@gmail.com dart-lang/co19#2291. Update `Link.create()` according to the documentation. Part 2 (dart-lang/co19#2301)
2023-10-10 sgrekhov22@gmail.com Fixes dart-lang/co19#2268. Fix LibTest/io/WebSocket/closeCode_A01_t02.dart to be not racy (dart-lang/co19#2302)
2023-10-09 sgrekhov22@gmail.com dart-lang/co19#1400. Add more tests for private fields promotion of extension types (dart-lang/co19#2300)

Change-Id: Ib34f392c8a2a0aaab8b7b0cb028f918ab2a3249f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/330460
Commit-Queue: Alexander Thomas <athom@google.com>
Reviewed-by: Erik Ernst <eernst@google.com>
Reviewed-by: Alexander Thomas <athom@google.com>
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Oct 18, 2023
eernstg pushed a commit that referenced this issue Oct 18, 2023
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Oct 20, 2023
eernstg pushed a commit that referenced this issue Oct 23, 2023
Add more top types tests. Add test for the alias of type void. More bottom type tests.
Co-authored-by: Erik Ernst <eernst@google.com> (Typo: changed 'a' to 'the' in 'the type `void`').
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue Oct 24, 2023
2023-10-23 sgrekhov22@gmail.com Fixes dart-lang/co19#2319. Fix roll failures (dart-lang/co19#2321)
2023-10-23 sgrekhov22@gmail.com dart-lang/co19#1400. [Extension types] Add more top types tests (dart-lang/co19#2322)
2023-10-18 sgrekhov22@gmail.com dart-lang/co19#1400. [Extension types] Add more superinterfaces tests (dart-lang/co19#2315)
2023-10-18 sgrekhov22@gmail.com dart-lang/co19#2291. Add more Link.createSync() tests. Part 2 (dart-lang/co19#2316)
2023-10-17 sgrekhov22@gmail.com Fixes dart-lang/co19#2304. Add more `Object` member tests (dart-lang/co19#2312)
2023-10-17 sgrekhov22@gmail.com dart-lang/co19#2313. Fix expected static type in upper_bound_A01_t05.dart (dart-lang/co19#2314)

Change-Id: Id5279b7bad5e45c7e8a5d2fa7cbffe49bd1b2093
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/331860
Reviewed-by: Erik Ernst <eernst@google.com>
Reviewed-by: Alexander Thomas <athom@google.com>
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Nov 1, 2023
…ype cannot be in the same constant collection
eernstg pushed a commit that referenced this issue Nov 1, 2023
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue Nov 3, 2023
2023-11-02 sgrekhov22@gmail.com Fixes dart-lang/co19#2344. Add more tests for constants (dart-lang/co19#2345)
2023-11-02 sgrekhov22@gmail.com dart-lang/co19#1400. Fix static_analysis_extension_types_A10_t03.dart (dart-lang/co19#2328)
2023-11-01 49699333+dependabot[bot]@users.noreply.github.com Bump actions/checkout from 4.1.0 to 4.1.1 (dart-lang/co19#2343)
2023-11-01 sgrekhov22@gmail.com dart-lang/co19#1400. Add test that extension type and its representation type cannot be in the same constant collection (dart-lang/co19#2341)
2023-10-30 sgrekhov22@gmail.com Fixes dart-lang/co19#2335. Fix superinterfaces_of_extension_type_A05_t07.dart, add new test expecting an error (dart-lang/co19#2336)
2023-10-26 sgrekhov22@gmail.com Fixes dart-lang/co19#2333. Representation type can be a subtype of a supertype (dart-lang/co19#2334)

Change-Id: I8531cb4b0e8e3900514f8b0143f918e76f1b0290
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/333780
Reviewed-by: Erik Ernst <eernst@google.com>
Reviewed-by: Alexander Thomas <athom@google.com>
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Dec 21, 2023
eernstg pushed a commit that referenced this issue Dec 21, 2023
Add the trivial case and a pattern check
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Dec 27, 2023
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Dec 27, 2023
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Dec 28, 2023
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue Dec 28, 2023
2023-12-21 sgrekhov22@gmail.com dart-lang/co19#1400. Add the trivial case and a pattern check (dart-lang/co19#2451)
2023-12-21 sgrekhov22@gmail.com Fixes dart-lang/co19#2446. Update cast-pattern exhaustiveness tests according to the changed spec (dart-lang/co19#2448)
2023-12-20 sgrekhov22@gmail.com Fixes dart-lang/co19#2445. Add safety margin for Timer.periodic and check negative duration (dart-lang/co19#2447)
2023-12-19 sgrekhov22@gmail.com dart-lang/co19#2419. Add missing int ~/ double constants expression (dart-lang/co19#2444)
2023-12-19 sgrekhov22@gmail.com Fixes dart-lang/co19#2419. Add/update tests according to the recent spec changes (dart-lang/co19#2442)

Change-Id: Ifbfc6c1f442ac236ce16770526991a6653b8041c
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/343380
Commit-Queue: Alexander Thomas <athom@google.com>
Reviewed-by: Alexander Thomas <athom@google.com>
Reviewed-by: Jonas Termansen <sortie@google.com>
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue Jan 5, 2024
2024-01-05 sgrekhov22@gmail.com Fixes dart-lang/co19#2465. Fix roll failures (dart-lang/co19#2466)
2024-01-04 sgrekhov22@gmail.com dart-lang/co19#2420. Add object-pattern exhaustiveness tests (dart-lang/co19#2454)
2024-01-04 sgrekhov22@gmail.com dart-lang/co19#2420. Add relational pattern exhaustiveness tests (dart-lang/co19#2463)
2024-01-03 sgrekhov22@gmail.com dart-lang/co19#2420. Add missed experimental flags (dart-lang/co19#2462)
2024-01-03 sgrekhov22@gmail.com Fixes dart-lang/co19#2436. Add test for external constructors with initializers (dart-lang/co19#2461)
2024-01-02 sgrekhov22@gmail.com dart-lang/co19#2420. Add more dynamic semantics extension type tests (dart-lang/co19#2459)
2024-01-02 sgrekhov22@gmail.com Fixes dart-lang/co19#2436. Add tests for external and redirecting constructors with initializing formals (dart-lang/co19#2460)
2023-12-29 sgrekhov22@gmail.com dart-lang/co19#1400. Add object pattern tests for extension types (dart-lang/co19#2456)
2023-12-29 sgrekhov22@gmail.com dart-lang/co19#1400. Add type inference tests for extension types (dart-lang/co19#2455)
2023-12-29 sgrekhov22@gmail.com dart-lang/co19#2420. Add switch statement check to the existing exhaustiveness tests (dart-lang/co19#2452)

Change-Id: Iee0668f14a35bb3c47aa67b35b1e5c6d8abe8021
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/345040
Reviewed-by: William Hesse <whesse@google.com>
Commit-Queue: Erik Ernst <eernst@google.com>
Reviewed-by: Erik Ernst <eernst@google.com>
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue Feb 21, 2024
2024-02-20 sgrekhov22@gmail.com dart-lang/co19#2496. Add missing part file (dart-lang/co19#2552)
2024-02-20 sgrekhov22@gmail.com dart-lang/co19#2549. Update built-in identifier tests. Add missing ones. Part 2 (dart-lang/co19#2551)
2024-02-20 sgrekhov22@gmail.com dart-lang/co19#2549. Update built-in identifier tests. Add missing ones. Part 1 (dart-lang/co19#2550)
2024-02-19 sgrekhov22@gmail.com Fix dart-lang/co19#2546. Add constant context tests (dart-lang/co19#2547)
2024-02-15 sgrekhov22@gmail.com Fixes dart-lang/co19#2496. Fix co19 tests that became failing after test runner update (dart-lang/co19#2497)
2024-02-14 sgrekhov22@gmail.com dart-lang/co19#1400. Add cascade operator test and more constants tests (dart-lang/co19#2545)
2024-02-14 sgrekhov22@gmail.com dart-lang/co19#2350. Add more factory constructor tests (dart-lang/co19#2543)
2024-02-14 sgrekhov22@gmail.com dart-lang/co19#1400. Add representation variable initialization test (dart-lang/co19#2544)
2024-02-13 sgrekhov22@gmail.com dart-lang/co19#2119. Remove unsupported element from Stream.first/lastWhere tests description (dart-lang/co19#2540)
2024-02-13 sgrekhov22@gmail.com dart-lang/co19#2119. Remove unsupported element from ReceivePort.first/lastWhere tests description (dart-lang/co19#2541)
2024-02-13 sgrekhov22@gmail.com dart-lang/co19#2339. Add more tests for the extension method with the name `type` (dart-lang/co19#2542)
2024-02-12 sgrekhov22@gmail.com Fix dart-lang/co19#2535. Add patterns constants tests for extension types (dart-lang/co19#2539)
2024-02-12 sgrekhov22@gmail.com Fix dart-lang/co19#2485. Update`as` and `is` expressions tests with a function type (dart-lang/co19#2538)
2024-02-12 sgrekhov22@gmail.com Fix dart-lang/co19#2536. Fix use of HINT.UNREACHABLE_SWITCH_CASE (dart-lang/co19#2537)
2024-02-09 sgrekhov22@gmail.com dart-lang/co19#2119. Remove unused code, add issues numbers (dart-lang/co19#2534)
2024-02-09 sgrekhov22@gmail.com dart-lang/co19#2529. Fix failing API core tests (dart-lang/co19#2533)
2024-02-09 sgrekhov22@gmail.com dart-lang/co19#2529. Delete API tests with compile-time errors (dart-lang/co19#2531)
2024-02-09 sgrekhov22@gmail.com dart-lang/co19#2529. Fix and enable Iterable/forEach_A03_t01 (dart-lang/co19#2532)

Change-Id: I03e721d3871d5bf2b9773fbf7ebadb2a1804a111
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/353260
Reviewed-by: Alexander Thomas <athom@google.com>
Reviewed-by: Erik Ernst <eernst@google.com>
Commit-Queue: Alexander Thomas <athom@google.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type-enhancement A request for a change that isn't a bug
Projects
None yet
Development

No branches or pull requests

3 participants