|
|
e2e4c2c29f
|
docs: rework template and add stages framework
|
2024-01-18 20:20:30 +01:00 |
|
|
|
8f790af8a1
|
repo: make typst compilation more generic
|
2024-01-18 20:20:30 +01:00 |
|
|
|
d779992eb1
|
docs: add readme
|
2024-01-18 20:20:30 +01:00 |
|
|
|
8df3090ae1
|
actually write things
|
2024-01-18 20:20:30 +01:00 |
|
|
|
70256a7bfc
|
Merge pull request 'write initial type signature notation proposal' (#5) from schrottkatze/iowo:type-notation into main
Reviewed-on: #5
Reviewed-by: multisn8 <forgejo-schrottkatze@multisamplednight.com>
|
2024-01-11 14:55:56 +00:00 |
|
|
|
b91e697449
|
add example for multiple generics
|
2024-01-11 10:55:25 +01:00 |
|
|
|
e1dc5ce132
|
doc: change code from inline to blocks
|
2024-01-11 10:48:43 +01:00 |
|
|
|
22a655fd24
|
write initial type signature notation proposal
|
2024-01-10 12:45:41 +01:00 |
|
|
|
34fc4f1caf
|
Merge pull request 'hard-rewrite' (#1) from schrottkatze/pipeline-lang:hard-rewrite into main
Reviewed-on: katzen-cafe/pipeline-lang#1
|
2024-01-01 22:36:43 +00:00 |
|
|
|
a3a7a00808
|
add typst design document stuff
|
2024-01-01 23:34:34 +01:00 |
|
|
|
e7863402f3
|
implement invert instruction
|
2024-01-01 21:18:56 +01:00 |
|
|
|
2b3c74053e
|
set up helix rpl support(tm)
|
2024-01-01 21:06:55 +01:00 |
|
|
|
b92977d8f1
|
basic conversion thing do worky!!!
|
2024-01-01 07:30:04 +01:00 |
|
|
|
f046393af8
|
really basic implementation of rpl types
|
2023-12-14 08:42:49 +01:00 |
|
|
|
b4d48a598a
|
restart basically lmao
|
2023-12-13 18:13:43 +01:00 |
|
|
|
49995bbc62
|
fix clippy warnings
|
2023-12-13 09:31:51 +01:00 |
|
|
|
ab7ff35d6c
|
implement basics of generics and generic checking
|
2023-11-24 12:57:06 +01:00 |
|
|
|
1acb5ef3cf
|
refactor to common id types
|
2023-11-24 09:39:32 +01:00 |
|
|
|
c3db966765
|
start work on type resolver
|
2023-11-21 12:44:20 +01:00 |
|
|
|
b07eb248f1
|
formatting things and pre commit hooks
|
2023-11-20 12:59:32 +01:00 |
|
|
|
daa551caa3
|
fix clippy warnings or disable unneeded lints
|
2023-11-20 11:05:55 +01:00 |
|
|
|
6af2c7c02c
|
remove arithmetic-side-effects lint, unnecessarily strict for this project
|
2023-11-20 10:31:07 +01:00 |
|
|
|
a896e66cca
|
run cargo clippy --fix
|
2023-11-20 10:29:08 +01:00 |
|
|
|
8c52d3668e
|
fix/allow clippy errors
|
2023-11-20 10:27:47 +01:00 |
|
|
|
55acd88f0a
|
make clippy significantly stricter
|
2023-11-20 10:03:37 +01:00 |
|
|
|
3b0e7f3edd
|
implement raw token/typed repr debug printing
|
2023-11-20 09:41:07 +01:00 |
|
|
|
0a6d9a27c5
|
write test against regression of syntax check_literal_as_filter
check_literal_as_filter returned literals at the end of pipelines too, which isn't
desirable since that's the job of check_literal_as_sink
|
2023-11-19 16:53:19 +01:00 |
|
|
|
17878b3e87
|
rewrite error system and add evaluator architecture
the evaluator architecture is also only a temporary solution and very flawed
but i have no other ideas
|
2023-11-19 16:52:38 +01:00 |
|
|
|
0ce869e859
|
comment out tokens that aren't needed yet
|
2023-11-19 16:49:27 +01:00 |
|
|
|
b50fb5ed06
|
implement basic typed representation and conversion to it
|
2023-11-19 01:44:53 +01:00 |
|
|
|
75be6e22a0
|
implement debug and display for Command, Trait and Type
|
2023-11-19 01:44:27 +01:00 |
|
|
|
a07a031e0c
|
finish syntax checks
|
2023-11-18 21:11:43 +01:00 |
|
|
|
2db2ef2ea1
|
refactoring and implementing clippy suggestions
|
2023-11-18 19:56:08 +01:00 |
|
|
|
3952091018
|
added basic method to check syntax command input
|
2023-11-18 19:46:41 +01:00 |
|
|
|
03412ce8cd
|
moved namespaces to their own module
|
2023-11-18 19:10:28 +01:00 |
|
|
|
91adcd40f5
|
wrote tests for parser and checks
|
2023-11-18 18:34:03 +01:00 |
|
|
|
d49e0d38e6
|
added command functions to GlobalNamespace
|
2023-11-18 18:11:59 +01:00 |
|
|
|
414b6c927d
|
started work on typed pipelines
|
2023-11-17 21:37:55 +01:00 |
|
|
|
b6b8c5085a
|
implement basic namespacing for types, traits and commands
|
2023-11-16 19:22:26 +01:00 |
|
|
|
3cca2bc2cc
|
remove dependency on winnow
|
2023-11-16 09:17:14 +01:00 |
|
|
|
1b6d2a9b62
|
implement check for missing filters in pipeline
|
2023-11-16 08:58:39 +01:00 |
|
|
|
344afa22b5
|
implement better checking and errors
|
2023-11-15 21:13:04 +01:00 |
|
|
|
3f4846744b
|
implement super basic check
|
2023-11-15 11:18:45 +01:00 |
|
|
|
b71b7f309b
|
start with bare basics
|
2023-11-15 10:55:14 +01:00 |
|
