Boshen
7cc2bbd293
chore(semantic): print errors from examples/simple.rs
2024-08-23 22:57:26 +08:00
overlookmotel
c100826b42
refactor(semantic)!: always create a scope for for statements ( #5110 )
...
Part of #5008 . Make scopes for `ForStatement`, `ForInStatement` and `ForOfStatement` unconditional. i.e. always create a scope, even if there is no lexical binding (e.g. `for (i of a) {}`).
2024-08-23 09:28:13 +00:00
overlookmotel
d304d6f973
refactor(semantic)!: always create a scope for CatchClause ( #5109 )
...
Part of #5008 . Make scope for `CatchClause` unconditional. i.e. always create a scope, even if there is no catch parameter.
2024-08-23 08:30:27 +00:00
overlookmotel
91343913ca
fix(semantic): transform checker check unresolved references ( #5096 )
...
Transform checker check root unresolved references.
The transform checker is now checking pretty much everything it can.
Only fields of `ScopeTree` and `SymbolTable` that it's *not* checking are those which contain `AstNodeId`s, because transformer does not create node IDs at present:
* `ScopeTree::node_ids`
* `SymbolTable::declarations`
* `Reference::node_id`
Checking also only proceeds in "from AST" direction.
i.e. for each `SymbolId` which appears in the AST, we check everything about that symbol. But we *don't* go through all the "rows" in `SymbolTable` and check if there are any extra symbols in the table which aren't in the AST.
Presumably transformer will leave a lot of old symbols lying around in `SymbolTable` (ditto scopes and references). We'd need to add `ScopeFlags::Deleted`, `SymbolFlags::Deleted` and `ReferenceFlags::Deleted` for the transformer to be able to "delete" existing symbols.
2024-08-23 07:52:30 +00:00
overlookmotel
13c961c492
refactor(semantic): clean up transform checker ( #5094 )
...
Remove some defunct code and clean up a few bits in transform checker.
2024-08-23 08:37:48 +01:00
overlookmotel
c57e078c71
fix(semantic): transform checker check unbound references ( #5093 )
2024-08-23 08:37:48 +01:00
oxc-bot
0b900110a2
Release crates v0.25.0 ( #5107 )
...
## [0.25.0] - 2024-08-23
- 78f135d#5077 ) (Boshen)
- f2b8d82#5058 ) (overlookmotel)
- 5f4c9ab#5030 ) (overlookmotel)
- 58bf215#5025 ) (overlookmotel)
- c4c08a7#5024 ) (overlookmotel)
- d262a58#5023 ) (overlookmotel)
- c30e2e9#5019 ) (overlookmotel)
- ce4d469#5001 )
(Boshen)
- b2ff2df#5000 ) (Boshen)
- f88970b#4859 ) (Burlin)
### Features
- 714373d#5005 )
(overlookmotel)
- 6800e69#4954 ) (Boshen)
- 2b21be3#4979 )
(IWANABETHATGUY)
- afe728a#4998 )
(Boshen)
- 4b49cf8#5087 )
(Boshen)
- f51d3f9#4975 ) (Dunqing)
- f794870#4974 ) (Dunqing)
- 72ff2c6#4972 ) (Dunqing)
- 6b885fe#4965 )
(Dunqing)
### Bug Fixes
- 7f3129e#5004 ) (overlookmotel)
- 1bd9365#5035 ) (Boshen)
- 185eb20#4935 ) (michaelm)
- 2a5e15defbdced#5069 )
(Boshen)
- ad2be97#5041 ) (heygsc)
- d5de97d#5092 )
(overlookmotel)
- 90c74ee#5090 )
(overlookmotel)
- a8005b9#5089 ) (overlookmotel)
- 205bff7#5088 )
(overlookmotel)
- 4a57086#5078 )
(overlookmotel)
- ea7d216#5076 )
(overlookmotel)
- 1b6b27a#5074 )
(overlookmotel)
- 6d87b0f#5071 )
(Boshen)
- 05fff16#5057 )
(overlookmotel)
- f187b71#5056 )
(overlookmotel)
- b52c6a4#5055 )
(overlookmotel)
- da64014#5054 ) (overlookmotel)
- 67d1a96#5052 )
(overlookmotel)
- 863b9cb#5040 )
(overlookmotel)
- 47029c4#5038 ) (overlookmotel)
- 6ffbd78#4987 ) (overlookmotel)
- a8dfdda#4986 ) (overlookmotel)
- 1467eb3#4985 ) (overlookmotel)
- 1365feb#4984 ) (overlookmotel)
- edacf93#4983 )
(overlookmotel)
- 3b35332#5047 ) (Dunqing)- b7db235#5003 )
(IWANABETHATGUY)
### Documentation
- 178d1bd#5084 ) (Dunqing)
- d50eb72#5064 ) (Dunqing)
- 4425b17#5012 ) (Dunqing)
- 1bd5853#4993 )
(overlookmotel)
### Refactor
- a4247e9#5034 )
(overlookmotel)
- cca7440#4988 ) (overlookmotel)
- 4012260#4977 ) (overlookmotel)
- 96422b6#4925 ) (DonIsaac)
- ca70cc7#5028 ) (overlookmotel)
- 0f64d10#5007 ) (IWANABETHATGUY)
- cd9cf5eb4407c49da6a21#5091 ) (overlookmotel)
- fb46eaf#5082 )
(overlookmotel)
- a00bf18#5079 )
(overlookmotel)
- b14a302#5075 ) (overlookmotel)
- b8c6ce5#5072 )
(overlookmotel)
- 7156fd2#5053 )
(overlookmotel)
- 0ba6f50#5051 )
(overlookmotel)
- ee7ac8b#5050 ) (overlookmotel)
- 4e1f4ab#5048 )
(overlookmotel)
- c1da574#5045 )
(overlookmotel)
- 8cded08#5044 ) (overlookmotel)
- 602244f#5043 )
(overlookmotel)
- ae94b9a#5042 ) (overlookmotel)
- 586e15c#5039 )
(overlookmotel)
- d69e34e#5037 ) (overlookmotel)
- 4336a32#5032 ) (overlookmotel)
- 83dfb14#5031 )
(overlookmotel)
- 3b7de18#5027 ) (overlookmotel)
- 0bacdd8#5026 )
(overlookmotel)
- 896b92f#5009 ) (overlookmotel)
- d677b8e#4962 ) (overlookmotel)
- a7ef30d#4960 ) (overlookmotel)
- 59d15c7#4959 ) (overlookmotel)
- 7706523#4978 )
(overlookmotel)
- 4fdf26d#4969 ) (Boshen)
- 8d15e65#5006 )
(overlookmotel)
- 4796ece#4982 ) (overlookmotel)
- a9fcf29#5085 ) (Dunqing)
- deda6ac#5065 ) (Dunqing)
- 9df2f80#4973 ) (Dunqing)
- 3f9433c#5013 ) (Dunqing)
- c60a50d#5086 ) (Dunqing)
- bcc8da9#5014 ) (Dunqing)
- 38d4434#4996 ) (Dunqing)
### Testing
- 0df1a94
2024-08-23 15:37:36 +08:00
Dunqing
8cf8f7a58a
feat(traverse): add is_static method to TraverseCtx, which is moves out from SymbolTable ( #5067 )
...
The [scope.isStatic](419644f27c/packages/babel-traverse/src/scope/index.ts (L557)
2024-08-23 07:14:08 +00:00
heygsc
ad2be97078
fix(semantic): incorrect semantic check for label has same name ( #5041 )
...
fix : #5036
---------
Co-authored-by: Boshen <boshenc@gmail.com>
2024-08-23 10:36:12 +08:00
overlookmotel
d5de97d6fe
fix(semantic): transform checker check reference flags ( #5092 )
2024-08-23 00:21:21 +00:00
overlookmotel
9da6a21e40
refactor(semantic): rename transform checker output for reference symbol mismatches ( #5091 )
2024-08-22 23:40:27 +00:00
overlookmotel
90c74ee449
fix(semantic): transform checker check reference symbol IDs ( #5090 )
...
Previously was checking that references point to symbols with same name, but not necessarily the same symbol (there could be 2 different symbols with same name).
2024-08-22 23:40:26 +00:00
overlookmotel
a8005b9914
fix(semantic): transform checker check symbol redeclarations ( #5089 )
2024-08-22 23:40:26 +00:00
overlookmotel
205bff7ea9
fix(semantic): transform checker check symbol references ( #5088 )
2024-08-22 23:40:25 +00:00
overlookmotel
fb46eafab6
refactor(semantic): add remap functions to transform checker ( #5082 )
...
Move remapping into separate functions.
2024-08-22 23:40:24 +00:00
overlookmotel
a00bf18b9f
refactor(semantic): add IdMapping to transform checker ( #5079 )
...
`IdMapping<Id>` wraps `FxHashMap<Id, Id>` for ease in dealing with ID types which are `Copy`.
2024-08-22 15:08:49 +00:00
overlookmotel
4a57086d79
fix(semantic): transform checker check symbol IDs ( #5078 )
2024-08-22 15:08:48 +00:00
overlookmotel
ea7d2163e3
fix(semantic): transform checker check symbol spans ( #5076 )
2024-08-22 15:08:47 +00:00
overlookmotel
b14a302ed0
refactor(semantic): transform checker: change symbol name mismatch error ( #5075 )
2024-08-22 15:08:46 +00:00
overlookmotel
1b6b27a6de
fix(semantic): transform checker check symbol flags ( #5074 )
2024-08-22 15:08:45 +00:00
overlookmotel
b8c6ce5317
refactor(semantic): rename vars in transform checker ( #5072 )
...
Pure refactor. Just rename some vars for consistency.
2024-08-22 13:41:35 +00:00
Boshen
6d87b0f1f2
fix(semantic): fix error message for duplicated label ( #5071 )
2024-08-22 12:30:04 +00:00
overlookmotel
f2b8d82499
refactor(semantic)!: ScopeTree::get_child_ids + get_child_ids_mut return value not Option ( #5058 )
...
Previously `ScopeTree::get_child_ids` and `ScopeTree::get_child_ids_mut` returned an `Option`. Instead return the unwrapped value, in line with other methods e.g. `get_flags`.
2024-08-22 05:57:55 +00:00
overlookmotel
05fff16d55
fix(semantic): transform checker compare binding symbol IDs ( #5057 )
2024-08-22 02:34:44 +00:00
overlookmotel
f187b71877
fix(semantic): transform checker compare scope children ( #5056 )
2024-08-22 02:34:44 +00:00
overlookmotel
b52c6a4269
fix(semantic): transform checker compare scope parents ( #5055 )
2024-08-22 02:34:43 +00:00
overlookmotel
da64014a6c
fix(semantic): transform checker catch more scope flags mismatches ( #5054 )
...
There was a bug previously where scope flags were only checked if there was also a bindings mismatch.
2024-08-22 02:34:43 +00:00
overlookmotel
7156fd2f91
refactor(semantic): transform checker Pair structure ( #5053 )
...
Introduce `Pair` structure containing a pair values from the "after transform" and "rebuilt" semantics, to reduce repetitive code.
2024-08-22 02:34:42 +00:00
overlookmotel
67d1a96391
fix(semantic): transform checker compare scope flags ( #5052 )
2024-08-22 02:34:41 +00:00
overlookmotel
0ba6f50f00
refactor(semantic): simplify raising errors in transform checker ( #5051 )
...
Simplify creating errors in transformer checker.
2024-08-22 02:34:41 +00:00
overlookmotel
ee7ac8b0b7
refactor(semantic): store all data in PostTransformChecker in transform checker ( #5050 )
...
Pure refactor of transform checker. Store all scope data in `PostTransformChecker` so it doesn't need to be passed around. `SemanticData` contains a full set of all semantic data for semantic pass, so we have 2 instances of it for 1. after transform and 2. rebuilt semantic.
2024-08-21 17:04:48 +00:00
overlookmotel
4e1f4abf89
refactor(semantic): add SemanticIds to transformer checker ( #5048 )
...
Transformer checker use `SemanticIds` to store collected IDs. `SemanticIds` only contains the IDs, without the `Vec` of errors which is only used temporarily.
2024-08-21 15:49:07 +00:00
overlookmotel
c1da5741f4
refactor(semantic): add comments to transformer checker ( #5045 )
...
Just add comments.
2024-08-21 15:22:08 +00:00
overlookmotel
8cded08eb8
refactor(semantic): rename error labels in transformer checker snapshots ( #5044 )
...
Rename labels in transformer checker snapshots "after transform" vs "rebuilt".
2024-08-21 14:33:19 +00:00
overlookmotel
602244f440
refactor(semantic): rename vars in transformer checker ( #5043 )
...
Pure refactor. Rename vars in transformer checker - "transformer"/"rebuild" instead of "previous"/"current".
2024-08-21 13:47:37 +00:00
overlookmotel
ae94b9a890
refactor(semantic): remove unused function params in transformer checker ( #5042 )
...
Pure refactor, just tidying code.
2024-08-21 13:05:43 +00:00
overlookmotel
863b9cb921
fix(semantic): transform checker handle conditional scopes ( #5040 )
...
Some scopes are conditional e.g. `ForStatement` only gets a scope when initializer has a binding (`for (let i = 0; ...)` vs `for (i = 0; ...)`).
Make transform compare this between post-transform and fresh semantics.
2024-08-21 12:07:14 +00:00
overlookmotel
586e15c814
refactor(semantic): reformat transform checker errors ( #5039 )
...
Reformat transform checker error output - shorter and consistent capitalization.
2024-08-21 12:07:11 +00:00
overlookmotel
47029c4d45
fix(semantic): transform checker output symbol names in errors ( #5038 )
...
Transform checker: For symbol mismatch errors, output symbol names.
2024-08-21 12:07:09 +00:00
overlookmotel
d69e34e983
refactor(semantic): fix indentation ( #5037 )
...
Small follow-on after #5035 . Not sure why rustfmt didn't correct indentation here.
2024-08-21 09:48:43 +00:00
Boshen
1bd9365bd0
fix(coverage): correctly check semantic data after transform ( #5035 )
...
closes #4999
2024-08-21 09:35:04 +00:00
overlookmotel
4336a3275c
refactor(semantic): rename fields in snapshots from flag to flags ( #5032 )
...
Part of #4991 .
2024-08-21 00:19:59 +00:00
overlookmotel
83dfb1484e
refactor(semantic): rename vars from flag to flags ( #5031 )
...
Part of #4991 .
2024-08-21 00:19:59 +00:00
overlookmotel
5f4c9ab38e
refactor(semantic)!: rename SymbolTable::get_flag to get_flags ( #5030 )
...
Part of #4991 .
2024-08-21 00:19:58 +00:00
overlookmotel
ca70cc7c03
refactor(linter, mangler, parser, semantic, transformer, traverse, wasm): rename various flag vars to flags ( #5028 )
...
Part of #4991 .
2024-08-21 00:19:58 +00:00
overlookmotel
3b7de18eb2
refactor(semantic): rename SemanticBuilder::current_reference_flags field ( #5027 )
...
Part of #4991 .
2024-08-21 00:19:58 +00:00
overlookmotel
0bacdd8102
refactor(semantic): rename Reference::flag field to flags ( #5026 )
...
Part of #4991 .
2024-08-21 00:19:57 +00:00
overlookmotel
58bf21531e
refactor(semantic)!: rename Reference::flag and flag_mut methods to plural ( #5025 )
...
Part of #4991 .
2024-08-21 00:19:57 +00:00
overlookmotel
d262a58eb5
refactor(syntax)!: rename ReferenceFlag to ReferenceFlags ( #5023 )
...
Part of #4991 .
2024-08-21 00:19:56 +00:00
overlookmotel
c30e2e9cce
refactor(semantic)!: Reference::flag method return ReferenceFlag ( #5019 )
...
Closes #4992 .
2024-08-20 22:02:08 +00:00
