github.com/dudykr/stc commits | Ecosyste.ms: OpenCollective

feat(ts/analyzer): Improve type narrowing with properties (#347)

**Description:**

- Use `excludes` while narrowing types with a property.

3317f9eb94349033a8aa6275d2a51bed08c31b87 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Use `NoSuchProperty` for `globalThis.name` (#346)

dbfb01ee1d590d7e3e4ea1bfdd080e6153df5444 authored about 2 years ago by HeYunfei <[email protected]>

fix(ts/analyzer): Abort on non-last rest patterns (#345)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/342.

9c3d3a3fbc69966e779a85dd3dfdf5c765efa9ec authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Inline string literals in template literals (#344)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/334.

46a4be10eca284b34197949f255b5c35c751699f authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Remove a wrong check for interface heritage (#343)

2187319608b390c3f63e86ad3e2320c76e518c59 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Disable check for implicit any for parameters in IIFE (#341)

a7bf7cfb672fc18f12307d581d08ef19b2e34483 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Pass more type annotations for function-like nodes (#338)

**Description:**

- Add `apply_fn_type_ann`.
- Exclude `null` and `undefined` while determi...

08b4941e01e39aee21d0544061e16e60a8ce02f8 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix `typeof` (#336)

**Description:**

- Fix type facts generated by `===` and `typeof`.
- Fix type facts genera...

41b76af273b27a172b6f8e50d7ea36f1bf0eda46 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Improve handling of template literals (#333)

**Description:**

- Remove the wrong code.
- Add a fast path for an assignment of a templat...

975f12a05e45ce0adce3445e8f8ae5a2f9023784 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Use correct logic for type narrowing with a property (#332)

**Description:**

- Use `castable` for candidate check.

083bb476624a6d5a7354ccdc774b30e107f75df0 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Change error codes for `null`/`undefined` in operands of `in` (#330)

4941218640913b881dd083bc238e514b6cf58dc0 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Support more LHS for `in` (#329)

**Description:**

- Support non-literal expressions for the LHS of an `in` expression.
- `k...

13edc692707dca3cbcfb166f9f785460a9f26832 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Support updating type with `??=` (#327)

173751e351bc98d8b6a03b5eb9826d0c7c9dd0d8 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Support TypeScript satisfies expression (#326)

90d747e7cc673b8030ffa52a92feba92eebb5027 authored about 2 years ago by Donny/강동윤 <[email protected]>

test(ts/lsp): Configure test system (#325)

**Description:**

I added a test action for hover to verify.

ac00be32b7b534bc7e09bbdba7c46888a58248c6 authored about 2 years ago by Donny/강동윤 <[email protected]>

test(ts/lsp): Add tests that execute the language server (#324)

72d4640b67f39dee55cb0b41461b990a8b78740c authored about 2 years ago by Donny/강동윤 <[email protected]>

refactor(ts/analyzer): Use `normalize` instead of recursion (#323)

**Description:**

- Add `preserve_union` to `NormalizeTypeOpts`.
- Use `normalize` instead ...

d8e6b9a0d8ad6668e654e47cae5c593bd52861d8 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Ignore extra elements in assignment to tuple with `any`s (#298)

9363430b437babda3eaa330874132822fed68bc1 authored about 2 years ago by Alexey Berezin <[email protected]>

feat(ts): Improve debugger API (#322)

**Description:**

We don't pass a source map to `dump_type_to_string` anymore.

3cde8de71ca36d7350fbd3c8a87a3cffd764ef5b authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix handling of switch cases (#321)

**Description:**

We evaluate case clauses twice, once as an expression and once as a binary e...

def689f060a733e097889d49cb7cdb8b3c7b6b27 authored about 2 years ago by Donny/강동윤 <[email protected]>

chore(ci): Configure clippy (#320)

bc089c22e747a4798f9ea80fba9ac5a011b10677 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Apply type facts to `this` (#319)

66d2455e9ec821ce926334f97a3bdaf3cbf275c6 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Improve handling of type facts (#318)

**Description:**

- `access_property`: Handle `undefined`.
- Add `TypeFacts::NEUndefinedOrN...

80319d3fb3f0f3b52bad5f267a17409c91f2e4b9 authored about 2 years ago by Donny/강동윤 <[email protected]>

refactor(ts/analyzer): Migrate to RAII-based context system (#316)

f418450b332b62c7f564f05cc54f953cb850140f authored about 2 years ago by Donny/강동윤 <[email protected]>

refactor(ts/errors): Prepare RAII-based context for errors (#315)

**Description:**

- `Error` is renamed to `ErrorKind`.
- `Error` is still used for typings....

c897b03cf317a385d5ff0d90a3cd52f399af0a3f authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Improve spans for property errors (#313)

b067127b64aeb9155f5a4a51f66831552b1cfba8 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Remove trivial false positives (#311)

**Description:**

- Handle assignments to `Function` interface.

d8b849c672f033c1e0a04caf9737f9a6ae7c6863 authored about 2 years ago by Donny/강동윤 <[email protected]>

chore(ci): Fix publish action (#309)

e43eaec2fac7e5a41545f0fe07a8aaea3aed15da authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Use a correct type for `excludes` while narrowing (#310)

3322beb52352901c3eef722364b306d7698c5c59 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix bugs related to `globalThis` (#308)

**Description:**

- Remove needless normalizations.
- Ignore `globalThis` in some code path...

613729d25ffa1c861b65e77d58c8b88c5685ef60 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Widen the return type of functions (#307)

d9ef39f52249729907bcfeb01790f1ef2a0f90ec authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Handle `globalThis` in more cases (#306)

**Description:**

- Handle more type arguments for intrinsic types.
- Handle `globalThis`.
...

90e2e186e35671e6c5031f7fca48e99909dfeadc authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Move span for invalid interface implementations (#305)

e989a804ce806d776ea3148cfcb88e2d06d736e2 authored about 2 years ago by Cameron <[email protected]>

fix(ts/errors): Fix error codes (#301)

e503aa0dc7a553c054046cf64a6ff3d701a44f1b authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Handle `intrinsics` for template literal types (#295)

f36e61338510981c90e4d2f7d3bd1dfd3947d87c authored about 2 years ago by Jiseok CHOI <[email protected]>

feat(ts/analyzer): Improve validation of unary arguments (#297)

39c54d9e33e1cd4a5941881e3b36633ee800ddd4 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Improve handling of symbol types (#296)

**Description:**

- Allow more operands for relative comparisons.
- Allow using `+=` with s...

40751a0bfb112f9ffa531e1908096a7392d8eee6 authored about 2 years ago by Donny/강동윤 <[email protected]>

test(ts/checker): Make `check.sh` faster (#294)

e5e92a4868ced22ccb34a683f4d9f5236556503e authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Remove trivial false positives (#293)

**Description:**

- `access_property`: Support `Type::Infer`.
- `call_property`: Fix stack ...

cc3eb453615abefc8826c3a2d31b3ca397329c89 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Improve handling of mapped types (#292)

**Description:**

- Support array types in `keyof`.
- Normalize while assigning.
- Normal...

e62c8e08bad89a64180615c24765d7be929925f3 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Reduce trivial false positives (#287)

**Description:**

- Normalize error code for `null or undefined`.
- Improve narrowing with ...

e293c55214cb064f92ad8e8b680addc4c103b7f8 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Use iterator for spread arguments (#247)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/236.

d564a237735a8a38a17611c33c3670b7498252a3 authored about 2 years ago by Cody Rigney <[email protected]>

chore(ci): Disable logging to make CI faster (#291)

6bb8b226a66a46c7152c4f517a38e490d1b26226 authored about 2 years ago by Donny/강동윤 <[email protected]>

test(ts/analyzer): Disable logging for base tests (#290)

a7179c330a150435cc87f94d52a27b75fe475368 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Expand generics in `intrinsic` types (#288)

b451a2921766755bf94199f38489addd1d692897 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/types): Improve assertions (#285)

d866515db67f4af3bfb4127f078156ceb7013064 authored about 2 years ago by Donny/강동윤 <[email protected]>

refactor(ts/types): Remove `cheap()` in favor of `freezed()` (#286)

915ad628eec5d6dc7ec27e4ca7eb0ede8cc19e17 authored about 2 years ago by Donny/강동윤 <[email protected]>

perf(ts/analyzer): Make `fix()` shallow (#284)

acb7b15eee89807a7122b7a8584087a2f55d7340 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/types): Improve `TypeEq` of `Key` (#282)

4c6ab116aad22ab71a9694e5dec4c75d9578813c authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Improve handling of template literals (#281)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/199.
- Closes https://git...

c525ef2a3ee412cd3fca6a922bd60a63cb7b820d authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Remove trivial false positives (#280)

**Description:**

- Allow more types for the LHS of `instanceof`.
- Improve detection of a ...

2019109237bcc8222e24619f9f89cfae0db245f2 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix types of overloaded functions (#279)

5202c191953c0082a774a6e48dd4594327d664fe authored about 2 years ago by Donny/강동윤 <[email protected]>

refactor(ts): Use per-module top level `Mark` instead of `ModuleId` (#278)

71d3307952b3fa6501d90358813856f3da8b0ccb authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/lsp): Determine project structure (#275)

32cc7de9e6062607e6698e0cab218f1a2284723b authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Skip `this` while inferring types (#276)

afb20c91d6f862f91d8d0bc49d7f4cd3b4a510d0 authored about 2 years ago by Donny/강동윤 <[email protected]>

chore(ci): Configure publish action (#274)

6cee980b1154a71e23eecccd84bdbcd5175099c9 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix trivial false positives (#272)

**Description:**

- Ignore `unknown` keys for missing properties.
- Change the error code f...

610faf8228f0c7f2fc39321d53ef633097c08f6f authored about 2 years ago by Donny/강동윤 <[email protected]>

doc: Add image for sponsors (#270)

6d609fc279a11491744a3ea6f8b13418093991db authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Improve handling of `unknown` in union/intersection (#269)

4111dbfdd0969d1142ac35f240b99b479c03445c authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix assignment of intersection types (#268)

**Description:**

- `assign`: Use `TypeLitMetadata.specified`.
- `extends`: Use correct log...

223df0ea5ca8912ee8a333e9c214e2a90a5ae839 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Use empty tuple type for rest pattern with tuple initializer (#267)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/186.

e0e81afab534e44e504b27a6f9afb1ec12ba8967 authored about 2 years ago by Donny/강동윤 <[email protected]>

test(ts/checker): Use dom for es5 tests (#266)

cd11ff907fa8e74332cd8c8d5fa020ac31143424 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/errors): Normalize error codes for variable not found (#265)

ced48f3eb00cbccdde9537acc8af5c6ca773235f authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix error codes for duplicate exports (#263)

8ec2b9258c66f141778198023aaeb8067e51b1e4 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Don't merge with builtin in module code (#262)

f5379e1939660fd720de7612c7d4f4e659b38b9a authored about 2 years ago by Donny/강동윤 <[email protected]>

chore(ts/errors): Normalize error code for `unknown` (#260)

d61c7a2ac1ab5de76aad201419fb1f802d79e9a5 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix validation of unary expressions (#259)

5300a00c4a1f371820d5ee21b45fbb4a304f21e3 authored about 2 years ago by Donny/강동윤 <[email protected]>

test(ts/checker): Restore stats (#258)

90ce646e7ede5d4f7d6e3bf348eb9b97084bf017 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix validation of RHS of an `in` operation (#257)

317e36d33fc729900182618f22bf5f277c447cf2 authored about 2 years ago by Donny/강동윤 <[email protected]>

refactor(ts/analyzer): Make argument order consistent (#255)

045a3a81449d5dbc507e9e27085762780608bcf0 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix type narrowing (#254)

4d3062e46db44e9520e506a4b6448841c1910b7a authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Avoid panic (#253)

**Description:**

- `keyof`: Support tuple.
- Handle `BigInt`.
- Don't panic on ts satisf...

195b505b616587992e055c5916a04c1d5460e9ca authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Support cond facts for optional chaining (#252)

**Description:**

This PR also normalizes some error codes for `foo is possibly null` or `foo ...

712e47d5eecf84ae13e312ae5871f80efb2669f5 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Make error reporting for `null` or `undefined` precise (#251)

c56f3bc2886d8da195cd159bbaa55ceb84d3a552 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix regressions from swc update (#250)

0e3f329da4e89fbcd08538183e8d2b7c3b066240 authored about 2 years ago by Donny/강동윤 <[email protected]>

chore: Fix lints (#249)

ae5e0e8b1d60400152cec7a60bef673b61bfa01b authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Update swc (#245)

Co-authored-by: Divy Srivastava <[email protected]>

6d283130ceb1fa260ed3568d4db971bda411eea3 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Handle constructor overloads (#222)

3ac9f0a197800d1b275fcef67f4820a216c10fcf authored about 2 years ago by Maurice Wangleng Tan <[email protected]>

fix(ts/analyzer): Change more error codes for wrong operands (#244)

4081bedc04bf117a099d6bdd570430a47e59b87d authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Change error codes for invalid l-values (#243)

4bb80bf5a15339a79818d2062ffbb6ab18d86585 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Allow private methods (#242)

470c8e699bebe9f86bcc52fbb567c57fbfeaaaaf authored about 2 years ago by Donny/강동윤 <[email protected]>

test(ts/checker): Sync conformance test suite to TS 4.9 (#241)

cd8e1bdd7505c228c135df5771ec67ecc3290d1c authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Allow type parameters in relative comparison operands (#239)

43dd6021b398b1e29f0884df2e69edf48192ef3b authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Change error code for invalid binary operands (#238)

e6e97e1bde84e91336e2cd188b144a2c0a0bb63d authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analtyzer): Change error code invalid spread arguments (#237)

241135feec8f8c3a16607bf2189e3afc0ec0a6ae authored about 2 years ago by Donny/강동윤 <[email protected]>

doc(contributing): Document `test.sh` (#235)

798c322abf94b8353feb4f4022185b932069f5e1 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Change error code for `undefined` in relative comparisons (#228)

2eadcd5ad1de5e045167ee532e51fc4295b02b7f authored about 2 years ago by Cameron <[email protected]>

fix(ts/analyzer): Use async iterator for `yield` in async generators (#232)

fd29ac4e69a2cd6a3b152a73ea83dcdd0db1f017 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix trivial false positives (#231)

**Description:**

- Fix deduplicating logic while checking for unknown properties on the RHS....

c79b0ca462124fa04f011cd48916ab015d0ef463 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Report at max one argument type mismatch error for generic calls (#229)

efd873e395fb9327f6cbd8be76a24678013269c4 authored about 2 years ago by Divy Srivastava <[email protected]>

fix(ts/modules): Fix stack overflow (#227)

**Related issue:**

- Closes https://github.com/dudykr/stc/issues/206.

c1e5e0949368f26d2453ed7420aea35edc405507 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(cli): Add test command (#226)

6330eda09f95228b0639d5edd1107a20e2352e18 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Swap error for namespace and module (#225)

**Description:**

```ts
namespace ts {
}
```

is module both in AST and the type.

```t...

9933bcd835dc17206a0895e59f5ce88cebcb7d33 authored about 2 years ago by Donny/강동윤 <[email protected]>

test(ts/checker): Include `.d.ts` and `.js` tests (#224)

55439e852dea50b4377e7b28e12ab8ceb04cb9b4 authored about 2 years ago by Yongwook Choi (Leo) <[email protected]>

fix(ts/analyzer): Fix error code for assignments to non-variables (#192)

ba5c59cfbf5db4437ee48ea389b2aaec174a7191 authored about 2 years ago by Yongwook Choi (Leo) <[email protected]>

fix(ts/analyzer): Reduce trivial false-positives (#219)

**Description:**

- Fix bivariant assignment.
- Allow casting anything to `{}`.
- Reduce ...

d8bb0e132d8ffdfa898c71165f7777d7bfb24eb3 authored about 2 years ago by Donny/강동윤 <[email protected]>

fix(ts/analyzer): Fix type analysis of an object pattern with a default value (#221)

**Description:**

The default value of an object pattern property should not change type if it...

805667830752f229f1674d034e1e9b0eb3fcb076 authored about 2 years ago by Val Kharitonov <[email protected]>

fix(ts/analyzer): Use `undefined` for properties of inexact type literals (#218)

36f243a4b4b3db1c2838365f695daa5138ac9a07 authored about 2 years ago by Donny/강동윤 <[email protected]>

feat(ts/analyzer): Deduplicate RHS on type literal assignments (#217)

32ae1053cf9c912836c145f0c82ba810cfe9bd4c authored about 2 years ago by Donny/강동윤 <[email protected]>

doc: Document debugging tips (#214)

56ae129a0674e81af048e2281653363876ccb11d authored about 2 years ago by Donny/강동윤 <[email protected]>