31 Commits

Author SHA1 Message Date
857f747524 refactor: split project into multiple crates
All checks were successful
buildbot/nix-eval Build done.
buildbot/nix-build Build done.
buildbot/nix-effects Build done.
2025-11-14 00:14:20 +01:00
486af67fc2 deps: cargo update 2025-11-13 23:32:57 +01:00
f0cef31b34 feat(cli): set exit code on error
All checks were successful
buildbot/nix-eval Build done.
buildbot/nix-build Build done.
buildbot/nix-effects Build done.
2025-11-05 20:35:34 +01:00
f5f4da31e5 refactor(jit): use source cache instead of string 2025-11-05 20:32:32 +01:00
efb8607569 feat: add file and location to error reports 2025-11-05 20:32:27 +01:00
ff586ca2d8 feat(cli): add line feed between error reports 2025-11-05 20:26:52 +01:00
c435cd09c7 nix: add missing packages to devshell 2025-11-05 20:23:50 +01:00
995e2d3a43 test: split failing tests in multiple files 2025-11-05 20:22:54 +01:00
057fe88a21 nix: create initial flake 2025-10-01 15:57:46 +02:00
c21cb47a54 deps: use tree-sitter-lila as cargo dep
This will cause less trouble than a git submodule
2025-10-01 15:57:16 +02:00
a0858947c5 fix(git): move tree-sitter-lila submodule 2025-10-01 15:11:01 +02:00
07f138d0e8 track Cargo.lock 2025-07-19 23:49:45 +02:00
de360832c7 chore(git): ignore .envrc 2025-07-19 23:34:39 +02:00
0504f09d56 cli: rename type-check to check, print a message when there are no input files 2024-12-09 14:17:41 +01:00
78b20f3603 typing: cleanup imports and fix unit in return 2024-12-06 18:28:37 +01:00
1b91ee53d4 begin tree-sitter parsing backend 2024-12-06 18:23:55 +01:00
9c0a3042d5 add example sources failing syntax and typing 2024-07-03 20:00:42 +02:00
f415c4abbe add pretty diagnostics 2024-07-03 19:59:12 +02:00
e157bf036a basic typing tests 2024-06-25 11:02:26 +02:00
ba838292f6 refactor typing and compilation 2024-06-25 11:02:05 +02:00
e8deab19cc update deps 2024-06-12 00:19:50 +02:00
8e3994f582 conditionals examples 2024-03-08 17:38:53 +01:00
511be952aa basic jit 2024-03-08 17:38:23 +01:00
374daaff7f add lila source example files 2023-10-16 22:36:33 +02:00
86d4f7fffb separate typed and untyped ASTs 2023-10-16 22:34:41 +02:00
91148b1a20 add README.md 2023-10-16 22:19:29 +02:00
990086902e add .gitignore 2023-10-16 22:19:03 +02:00
fd39644f73 rename language as lila 2023-10-16 22:18:11 +02:00
0be5273621 add tree-sitter-lila submodule 2023-10-16 22:12:57 +02:00
99434748fa restructure parsing and typing modules
* parsing backend submodules
* move typing to its own module
2023-07-05 16:15:05 +02:00
43df8c4b0a initial commit 2023-06-12 20:19:19 +02:00