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 |
|