Commit Graph

28 Commits

Author SHA1 Message Date
Alain Zscheile 1c5bc9c3da prep... 2023-12-23 22:34:02 +01:00
Alain Zscheile c38236847d typesys: implement formatting 2023-06-18 19:48:44 +02:00
Alain Zscheile f437e0af94 types: +more explanation of problems/necessities 2023-06-18 17:31:05 +02:00
Alain Zscheile 44d71ac8f9 add some notes about type systems and type theory 2023-05-28 00:31:24 +02:00
Alain Zscheile 5672942c6b +typesys crate 2023-05-25 09:14:02 +02:00
Alain Zscheile 5a3254004f remove tag+match, introduce return 2023-05-23 16:43:34 +02:00
Alain Zscheile 8d693ae99d reintroduce match with : (this shall ease type-checking, static analysis) 2023-05-23 08:34:10 +02:00
Alain Zscheile ed6c52f120 introduce symbol to indicate matching, now used on all single-arg invocations 2023-05-22 21:42:14 +02:00
Alain Zscheile 23490cc237 make parsing a bit nicer
This also merges the `match` and single-call interface.
Modules can simply be called with tags.
2023-05-22 21:32:54 +02:00
Alain Zscheile f0235832c3 parse 'tag' expressions 2023-05-22 21:17:30 +02:00
Alain Zscheile 35ada4a21d split expression types 2023-05-22 21:07:32 +02:00
Alain Zscheile 3703b65e41 merge Object and Expression 2023-05-22 21:04:00 +02:00
Alain Zscheile 599721de7c parser: small refactor around Invocations
TODO: merge Expression and Object, their distinction makes little sense
2023-05-22 00:58:10 +02:00
Alain Zscheile d17524a7d2 parser: make the RHS object in module entries optional 2023-05-21 13:30:08 +02:00
Alain Zscheile 8f1f746a82 reduce code repetition regarding single-token recognition in parser 2023-05-21 13:27:22 +02:00
Alain Zscheile 23ce8d0cb9 add new keywords and track CtrlFlowEdit in module entries 2023-05-21 13:17:45 +02:00
Alain Zscheile 6297042297 reduce duplication in lexer 2023-05-20 23:37:26 +02:00
Alain Zscheile 2afafd2bf9 get rid of the special keyword syntax 2023-05-20 23:33:24 +02:00
Alain Zscheile f7d5e53a01 allow inline modules in places where code objects can be used 2023-05-20 13:59:20 +02:00
Alain Zscheile a76dc04211 add integer support to parser 2023-05-20 00:52:51 +02:00
Alain Zscheile 579662c69d add proper integer support to lexer 2023-05-20 00:48:26 +02:00
Alain Zscheile c9ffc022b6 add flag if document entry is public 2023-05-20 00:19:46 +02:00
Alain Zscheile db7f57b5c5 bring parser into almost usable state 2023-05-19 23:14:58 +02:00
Alain Zscheile ceaf278b00 parser: document-level code objects are terminated with semi-colons 2023-05-19 20:59:31 +02:00
Alain Zscheile a16255bff2 add document level parser (inner parts still missing) 2023-05-19 18:07:36 +02:00
Alain Zscheile 6c62538959 parser: fix immediate scope ref parsing 2023-05-19 12:25:31 +02:00
Alain Zscheile 8287a96134 add simple lexer 2023-05-19 00:46:12 +02:00
Alain Zscheile 6554b0f679 +README.md 2023-05-02 10:49:35 +02:00