|
|
6d69bb4336
|
Move AST nodes into each item's struct
|
2026-05-08 14:46:24 -06:00 |
|
|
|
13dbda7f65
|
WIP file interns
|
2026-05-08 14:44:58 -06:00 |
|
|
|
1672ab5d0a
|
Decide how to handle unreachable resolve cases
|
2026-05-08 14:18:02 -06:00 |
|
|
|
ccb3e52a36
|
More resolve stage aggregate defs
|
2026-05-06 15:18:40 -06:00 |
|
|
|
dea394b681
|
Add expr_aggregate_bound AST fixture
|
2026-05-06 15:09:26 -06:00 |
|
|
|
aef0f83961
|
More work on resolution
|
2026-05-06 14:52:43 -06:00 |
|
|
|
0af9989323
|
WIP resolve stage
|
2026-05-06 14:41:48 -06:00 |
|
|
|
20c1e2d084
|
Tweaks to AST data
|
2026-05-06 14:41:40 -06:00 |
|
|
|
171166512c
|
Add target relation label to rule
|
2026-05-06 14:39:55 -06:00 |
|
|
|
3aec75adf5
|
Variable types -> metadata
|
2026-05-05 16:17:01 -06:00 |
|
|
|
5dcbcbe522
|
Make RelationLabel independent of map type and reduce trait bounds
|
2026-05-05 16:10:04 -06:00 |
|
|
|
a8f7f93c78
|
Make Debug on ProgramInfo optional
|
2026-05-05 12:29:25 -06:00 |
|
|
|
c883f02738
|
SymbolLabel -> SymbolMeta
|
2026-05-04 20:53:01 -06:00 |
|
|
|
e2c7985ef9
|
AstProgramInfo -> ProgramInfo
|
2026-05-04 19:57:48 -06:00 |
|
|
|
1536d43d97
|
Add some docs
|
2026-05-04 19:21:33 -06:00 |
|
|
|
85f646fc10
|
Migrate namespace defs to resolve module
|
2026-05-04 19:04:11 -06:00 |
|
|
|
98ab014603
|
Add to-do for bignum integer parsing
|
2026-05-04 18:56:13 -06:00 |
|
|
|
94578c90ba
|
Parse names with paths
|
2026-05-04 18:53:46 -06:00 |
|
|
|
68725b5984
|
Update type_labels AST test
|
2026-05-02 15:48:48 -06:00 |
|
|
|
cc6de1e082
|
Document tree-sitter contribution guidelines
|
2026-05-01 18:30:30 -06:00 |
|
|
|
e7cfdf7eed
|
Trivial IR to-do
|
2026-05-01 14:38:33 -06:00 |
|
|
|
4f5f4e2943
|
Add some name path tests
|
2026-04-30 21:06:55 -06:00 |
|
|
|
955c27d4d9
|
Define names in tree-sitter
|
2026-04-30 21:03:58 -06:00 |
|
|
|
c874672515
|
Allow grammar lists with trailing commas or empty
|
2026-04-30 20:47:18 -06:00 |
|
|
|
fc99fda2c8
|
Include examples in AST test fixture
|
2026-04-30 20:27:13 -06:00 |
|
|
|
e5c203ce24
|
Remove broken derive_where(Arbitrary) in IR
|
2026-04-30 20:08:50 -06:00 |
|
|
|
b28a5f7e4f
|
Remove unused hole AST node variable
|
2026-04-30 20:07:22 -06:00 |
|
|
|
3bf2a63550
|
Fix unused "Server" import in lsp lib.rs
|
2026-04-30 20:06:26 -06:00 |
|
|
|
b42d5b60d6
|
Rename type_alias_tuple_fields test to type_labels
|
2026-04-30 20:04:36 -06:00 |
|
|
|
466fb7fe4d
|
Assert tree-sitter validity in each AST test
|
2026-04-30 19:57:47 -06:00 |
|
|
|
c6e6770809
|
Add 'This file is part of Kerolox.' to grammar
|
2026-04-30 19:52:36 -06:00 |
|
|
|
4051ba9b6f
|
Add 'This file is part of Kerolox.' to AST test license header
|
2026-04-30 19:51:56 -06:00 |
|
|
|
39df36c215
|
Parse imports
|
2026-04-30 19:40:05 -06:00 |
|
|
|
aa6d08eee4
|
Parse type aliases
|
2026-04-30 19:38:07 -06:00 |
|
|
|
8d08273330
|
Parse ranges + concat is "++"
|
2026-04-30 19:32:23 -06:00 |
|
|
|
b29c25d9dc
|
Add type alias AST tests
|
2026-04-30 19:31:58 -06:00 |
|
|
|
8d76d2cee2
|
Remove completed VSCode package to-do
|
2026-04-30 19:25:59 -06:00 |
|
|
|
d5d6ce924c
|
Rename grammar "definition" to "relation"
|
2026-04-30 19:24:11 -06:00 |
|
|
|
ef8a34f886
|
Atom -> apply
|
2026-04-30 19:21:50 -06:00 |
|
|
|
2093c1d2dd
|
Flatten values into expression grammar
|
2026-04-30 19:16:51 -06:00 |
|
|
|
a4844b5a59
|
Parse relations
|
2026-04-29 21:51:56 -06:00 |
|
|
|
c29ee4851d
|
Parse aggregates
|
2026-04-29 20:58:09 -06:00 |
|
|
|
c3de45d84f
|
Parse holes
|
2026-04-29 19:19:25 -06:00 |
|
|
|
2d6c73f8fe
|
Parse assumptions
|
2026-04-29 19:18:00 -06:00 |
|
|
|
3f12a9cf1a
|
Better AST unit tests
|
2026-04-29 19:12:50 -06:00 |
|
|
|
81436fced5
|
Add 'This file is part of Kerolox.' to license headers
|
2026-04-29 18:14:44 -06:00 |
|
|
|
5d250ea9ad
|
Parse rules
|
2026-04-29 18:03:02 -06:00 |
|
|
|
e864ea9145
|
Retrieve top-level item metadata
|
2026-04-29 17:37:10 -06:00 |
|
|
|
1928690597
|
Data-driven AST test framework
|
2026-04-29 17:16:39 -06:00 |
|
|
|
a0f3f4e5aa
|
AST API compiles
|
2026-04-29 16:54:52 -06:00 |
|
