Commit Graph

45 Commits

Author SHA1 Message Date
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
0250e066a8 WIP expression parsing 2026-04-26 16:20:47 -06:00
59a50b32ae More generics on expressions 2026-04-26 15:07:19 -06:00
8a4130dea3 Add Salsa support to IR 2026-04-24 22:27:28 -06:00
81d43d2e13 Split IR Expr into ExprKind 2026-04-24 21:49:51 -06:00
8a81636490 Specialize IR with ProgramInfo 2026-04-24 20:53:08 -06:00
0937a2ed36 Update to-do 2026-04-24 20:52:39 -06:00
025261ea4d Add *.core to .gitignore 2026-04-24 19:09:40 -06:00
6fdf42d9d6 Update repository URLs to gitea.efforting.tech 2026-04-24 19:04:12 -06:00
d3937f09df Rudimentary semantic tokens 2026-04-15 11:34:09 -06:00
75c9635658 NQueens syntax fixes 2026-04-15 11:33:55 -06:00
0b9fea4f26 Stub semantic tokens handler 2026-04-15 10:26:47 -06:00
81f84b3b76 Run Wasm LSP with async import 2026-04-15 10:09:02 -06:00
43c183e593 Automatically compile VSCode extension before debugging it 2026-04-15 09:59:03 -06:00
8d1b92ab3e Add VSCode extension output channel 2026-04-15 09:55:55 -06:00
84be8d69b4 Add output.libraryTarget (makes extension run) 2026-04-15 09:54:10 -06:00
7b068ff737 Remove unused VSCode browser field 2026-04-15 09:49:10 -06:00
299edb0516 Add TODO for vscode-ext in CONTRIBUTING.md 2026-04-15 09:42:53 -06:00
4310bc42e4 Remove trailing comma in VSCode language config 2026-04-15 09:41:42 -06:00
4975b30217 Add text document sync language server caps 2026-04-15 09:15:43 -06:00
36e742de01 Add to-do to remove vscode-ext/pkg 2026-04-15 09:06:53 -06:00
3294024c11 Manage LSP editors 2026-04-15 09:04:27 -06:00
bf4955dfcd gitignore vscode-ext/pkg 2026-04-15 09:04:05 -06:00
23a6db2481 Change aggregate binding syntax 2026-04-15 08:43:03 -06:00
36edac0355 Initial commit 2026-04-15 08:37:09 -06:00