|
|
cd4df6e222
|
wip: refactor dsl
/ build (push) Waiting to run
|
2025-06-18 00:48:32 +03:00 |
|
|
|
c8827b43c3
|
wip: slowly remembering where i was
/ build (push) Has been cancelled
|
2025-06-13 11:42:20 +03:00 |
|
|
|
17506726cb
|
wip: updating tests
/ build (push) Waiting to run
|
2025-06-12 21:56:59 +03:00 |
|
|
|
21832453d9
|
dsl,input,output,proc,tui: fix warnings
|
2025-06-12 19:29:12 +03:00 |
|
|
|
08593571fa
|
output: fix expressions
|
2025-06-08 04:45:14 +03:00 |
|
|
|
cb47c4d0ff
|
dsl goes fat
/ build (push) Has been cancelled
|
2025-05-27 00:53:06 +03:00 |
|
|
|
08a8dff93d
|
wip: dsl: continuing to offload to Ast
|
2025-05-26 23:39:02 +03:00 |
|
|
|
e9d4c7e0bc
|
AstToken -> Ast <- AstValue
|
2025-05-26 23:32:59 +03:00 |
|
|
|
f77139c8fd
|
wip: wee
|
2025-05-26 23:21:38 +03:00 |
|
|
|
d6e8be6ce5
|
dsl gets the gordian treatment
|
2025-05-26 22:49:55 +03:00 |
|
|
|
93b1cf1a5c
|
wip: dsl: getting interesting
/ build (push) Waiting to run
|
2025-05-26 01:45:08 +03:00 |
|
|
|
7097333993
|
wip: dsl: more rework
|
2025-05-26 01:30:13 +03:00 |
|
|
|
f1b24d436a
|
wip: ast/cst
/ build (push) Waiting to run
|
2025-05-25 22:48:29 +03:00 |
|
|
|
31e84bf5b3
|
proc: builtims
/ build (push) Waiting to run
|
2025-05-25 11:43:35 +03:00 |
|
|
|
3e1084555b
|
wip: dsl, output, input, proc, tui: sorting out give and take
/ build (push) Waiting to run
|
2025-05-24 23:57:12 +03:00 |
|
|
|
5a2177cc77
|
dsl: give! and take! macros
/ build (push) Waiting to run
|
2025-05-24 00:29:50 +03:00 |
|
|
|
cbd28a5934
|
dsl: auto-impl the obvious one (hopefully)
/ build (push) Waiting to run
re foreign trait constraints
|
2025-05-23 21:52:08 +03:00 |
|
|
|
ddf0c05d5f
|
dsl: Provide -> Take, Receive -> Give (swap + shorten)
|
2025-05-23 21:39:29 +03:00 |
|
|
|
583660c330
|
wip: finally, informative type errors from the macro
/ build (push) Has been cancelled
fixin mixin
|
2025-05-21 15:54:27 +03:00 |
|
|
|
abc87d3234
|
dsl, output: error handlers
/ build (push) Waiting to run
|
2025-05-21 14:17:27 +03:00 |
|
|
|
a4a1066f18
|
output: remove view; group tests
|
2025-05-21 14:11:37 +03:00 |
|
|
|
daef8dfa9e
|
dsl: spiffier notfounds
|
2025-05-21 14:10:40 +03:00 |
|
|
|
7516517078
|
proc, view: fix usage of builtins
|
2025-05-21 13:57:03 +03:00 |
|
|
|
776cea6f1b
|
dsl: reduce number of lifetime arguments
/ build (push) Waiting to run
|
2025-05-21 02:50:26 +03:00 |
|
|
|
2048dd2263
|
output: add Memo
|
2025-05-21 01:44:09 +03:00 |
|
|
|
f714302f21
|
FromDsl -> Namespace
|
2025-05-21 00:06:36 +03:00 |
|
|
|
455d6d00d5
|
read explicit lifetime to FromDsl
/ build (push) Waiting to run
|
2025-05-20 22:02:51 +03:00 |
|
|
|
7c1cddc759
|
wip: directionalize!
can't fit all into 1 trait because of directionality
of trait implementation rules and constraints :(
|
2025-05-20 19:04:39 +03:00 |
|
|
|
f797a7143d
|
extact dsl_token; flip Dsl; try to obviate ViewContext
|
2025-05-20 16:27:05 +03:00 |
|
|
|
f08593f0f8
|
remove View; allow rendering Result
/ build (push) Has been cancelled
|
2025-05-19 02:23:26 +03:00 |
|
|
|
90f5699fff
|
dsl: use only Dsl trait
|
2025-05-19 00:06:03 +03:00 |
|
|
|
3bc739328e
|
output: somewhat better error handling in cond and either
/ build (push) Waiting to run
|
2025-05-18 18:32:07 +03:00 |
|
|
|
7ddbace030
|
proc: allow implementing #[command] over more complex types
|
2025-05-18 18:31:40 +03:00 |
|
|
|
921378b6db
|
tui: remove buttons
|
2025-05-18 00:22:48 +03:00 |
|
|
|
9a12e0c7ba
|
output: format
/ build (push) Waiting to run
|
2025-05-17 21:56:16 +03:00 |
|
|
|
f21781e816
|
tui: adjust color balance
/ build (push) Waiting to run
|
2025-05-17 20:57:51 +03:00 |
|
|
|
12998a94ea
|
output: report more info on error from bsp
|
2025-05-17 20:07:57 +03:00 |
|
|
|
b127526570
|
fix(output): fix cond
|
2025-05-17 19:27:04 +03:00 |
|
|
|
c9f0164871
|
tui: add cb/br open/close
|
2025-05-17 17:59:22 +03:00 |
|
|
|
a55e84c29f
|
output, tui: Stack implementation
/ build (push) Waiting to run
|
2025-05-17 10:15:07 +03:00 |
|
|
|
b25977d878
|
add has!, MaybeHas, maybe_has!
|
2025-05-17 05:47:51 +03:00 |
|
|
|
4ff4ea8173
|
wip: field
/ build (push) Has been cancelled
|
2025-05-15 23:17:19 +03:00 |
|
|
|
c954965ae1
|
measure: w -> h
/ build (push) Waiting to run
|
2025-05-14 22:37:43 +03:00 |
|
|
|
f7306de55f
|
field: align west
|
2025-05-14 22:17:27 +03:00 |
|
|
|
4c039c999b
|
output: add memory of Stack primitive
|
2025-05-14 22:17:07 +03:00 |
|
|
|
496a9202d5
|
input: better dsl error handling
|
2025-05-14 22:16:52 +03:00 |
|
|
|
8bfd1a23a1
|
core, output: add Has, HasSize
/ build (push) Waiting to run
|
2025-05-14 17:53:34 +03:00 |
|
|
|
a9619ab9ce
|
fix(proc): use TryFromDsl locally
|
2025-05-14 14:35:38 +03:00 |
|
|
|
bad20f5037
|
tui: add button_2, button_3
/ build (push) Waiting to run
|
2025-05-14 00:46:09 +03:00 |
|
|
|
5d546affed
|
tui: remove tui_file
|
2025-05-13 20:27:41 +03:00 |
|
