-
6c803cdf5a
take some loop notes
Scott Richmond
2024-12-27 00:54:31 -0500
-
6cbe253f6e
vm::run is now a loop, not vm::interpret as a tailcall
Scott Richmond
2024-12-27 00:47:22 -0500
-
a7ee8f8e57
vm::run is now a loop, not vm::interpret as a tailcall
Scott Richmond
2024-12-27 00:47:22 -0500
-
420415f984
add match_depth to vm
Scott Richmond
2024-12-27 00:22:01 -0500
-
8908630a21
add match_depth to vm
Scott Richmond
2024-12-27 00:22:01 -0500
-
ce77b25ac7
refactor if/else to match in guard compilation
Scott Richmond
2024-12-26 23:48:38 -0500
-
6f582bff06
refactor if/else to match in guard compilation
Scott Richmond
2024-12-26 23:48:38 -0500
-
9ae2e8eca2
compile guards in match forms
Scott Richmond
2024-12-26 23:46:06 -0500
-
f5965fdb44
compile guards in match forms
Scott Richmond
2024-12-26 23:46:06 -0500
-
0719e4a276
fix block compilation; compile & run repeat
Scott Richmond
2024-12-26 23:33:57 -0500
-
cfe0b83192
fix block compilation; compile & run repeat
Scott Richmond
2024-12-26 23:33:57 -0500
-
774df695d9
separate compiler & chunk
Scott Richmond
2024-12-26 19:03:09 -0500
-
4fa2ce5e78
separate compiler & chunk
Scott Richmond
2024-12-26 19:03:09 -0500
-
e37b562c93
notes and comments
Scott Richmond
2024-12-26 18:41:54 -0500
-
40d4f48878
notes and comments
Scott Richmond
2024-12-26 18:41:54 -0500
-
05abe64e45
working & thinking
Scott Richmond
2024-12-24 12:35:44 -0500
-
ef0ac40dbe
working & thinking
Scott Richmond
2024-12-24 12:35:44 -0500
-
8a9170b002
work on functions, discover recursion problems
Scott Richmond
2024-12-23 22:04:25 -0500
-
ff9570c565
work on functions, discover recursion problems
Scott Richmond
2024-12-23 22:04:25 -0500
-
d3df1e8ed2
continue work on compiling functions
Scott Richmond
2024-12-23 10:55:28 -0500
-
a4f12c8f7d
continue work on compiling functions
Scott Richmond
2024-12-23 10:55:28 -0500
-
5618cf9ef8
get lifetime out of Chunk, thus out of Value
Scott Richmond
2024-12-22 19:51:02 -0500
-
9f4e630544
get lifetime out of Chunk, thus out of Value
Scott Richmond
2024-12-22 19:51:02 -0500
-
e8a90c5356
get simple match forms done
Scott Richmond
2024-12-22 19:33:59 -0500
-
be23ee6c44
get simple match forms done
Scott Richmond
2024-12-22 19:33:59 -0500
-
068a8aa724
do lots of work
Scott Richmond
2024-12-22 19:07:42 -0500
-
d943185db8
do lots of work
Scott Richmond
2024-12-22 19:07:42 -0500
-
27443444e3
get binding & pretty debugging working
Scott Richmond
2024-12-18 01:28:23 -0500
-
d4342b0623
get binding & pretty debugging working
Scott Richmond
2024-12-18 01:28:23 -0500
-
044c7264f8
do work
Scott Richmond
2024-12-17 23:45:39 -0500
-
48754f92a4
do work
Scott Richmond
2024-12-17 23:45:39 -0500
-
e61d07efa6
add untracked from opening bytecode branch
Scott Richmond
2024-12-15 23:50:12 -0500
-
096d8d00bc
add untracked from opening bytecode branch
Scott Richmond
2024-12-15 23:50:12 -0500
-
bbe38e6bf6
DRY out validator, simplify code
Scott Richmond
2024-12-15 23:49:43 -0500
-
9c3205d4c1
DRY out validator, simplify code
Scott Richmond
2024-12-15 23:49:43 -0500
-
e13c5a5ba3
finish list of valid types
Scott Richmond
2024-12-15 23:49:27 -0500
-
6c78cffe56
finish list of valid types
Scott Richmond
2024-12-15 23:49:27 -0500
-
d0afa3a547
make some progress: atoms and ifs
Scott Richmond
2024-12-15 23:28:57 -0500
-
35fc591c76
make some progress: atoms and ifs
Scott Richmond
2024-12-15 23:28:57 -0500
-
2aa9892d25
some simple bytecodes!
Scott Richmond
2024-12-15 17:54:40 -0500
-
eff2ed90d5
some simple bytecodes!
Scott Richmond
2024-12-15 17:54:40 -0500
-
3cddbac42c
start working on a bytecode interpreter!
Scott Richmond
2024-12-15 16:37:51 -0500
-
-
86aea78c21
start working on a bytecode interpreter!
Scott Richmond
2024-12-15 16:37:51 -0500
-
-
6388aae0fa
things & stuff
Scott Richmond
2024-12-14 13:43:08 -0500
-
d4af160f80
things & stuff
Scott Richmond
2024-12-14 13:43:08 -0500
-
70ecebcbe9
fix print!
Scott Richmond
2024-12-13 13:47:03 -0500
-
8535225167
fix print!
Scott Richmond
2024-12-13 13:47:03 -0500
-
0d741ee6fa
bring full prelude into Ludus.
Scott Richmond
2024-12-12 19:43:56 -0500
-
73e60b8ced
bring full prelude into Ludus.
Scott Richmond
2024-12-12 19:43:56 -0500
-
90493f4346
fix loop validation bugs
Scott Richmond
2024-12-12 19:28:55 -0500
-
49a0b0f8a7
fix loop validation bugs
Scott Richmond
2024-12-12 19:28:55 -0500
-
1e74ef8237
improve panic reports
Scott Richmond
2024-12-12 19:01:51 -0500
-
ac4bd0fb55
improve panic reports
Scott Richmond
2024-12-12 19:01:51 -0500
-
78266114e7
a slow and brute-force approach to the problem of re-binding closed-over forward declarations
Scott Richmond
2024-12-12 01:19:39 -0500
-
273267f61d
a slow and brute-force approach to the problem of re-binding closed-over forward declarations
Scott Richmond
2024-12-12 01:19:39 -0500
-
ac119a848c
ariadne hooked up to panic messages
Scott Richmond
2024-12-12 00:31:57 -0500
-
5e73c5cb3b
ariadne hooked up to panic messages
Scott Richmond
2024-12-12 00:31:57 -0500
-
d28a7adbfa
fiddle
Scott Richmond
2024-12-11 19:13:06 -0500
-
b2e08fe207
fiddle
Scott Richmond
2024-12-11 19:13:06 -0500
-
c1a594a939
refactor process to use
visit
method everywhere
Scott Richmond
2024-12-11 19:11:40 -0500
-
229470fee3
refactor process to use
visit
method everywhere
Scott Richmond
2024-12-11 19:11:40 -0500
-
b85df7a83c
process now uses spans, for to give panic locations
Scott Richmond
2024-12-11 18:58:59 -0500
-
ecc7b26b66
process now uses spans, for to give panic locations
Scott Richmond
2024-12-11 18:58:59 -0500
-
a248a56f6e
stash changes before ripping up a bunch of stuff
Scott Richmond
2024-12-11 17:37:42 -0500
-
5f154fe56f
stash changes before ripping up a bunch of stuff
Scott Richmond
2024-12-11 17:37:42 -0500
-
ddff9b6884
start debugging full prelude
Scott Richmond
2024-12-11 17:32:31 -0500
-
7431cbf380
start debugging full prelude
Scott Richmond
2024-12-11 17:32:31 -0500
-
7dab0e0637
closing works, so does importing from Prelude!
Scott Richmond
2024-12-11 17:22:37 -0500
-
6a01089973
closing works, so does importing from Prelude!
Scott Richmond
2024-12-11 17:22:37 -0500
-
ca0c4062c3
get closing working?
Scott Richmond
2024-12-11 16:43:13 -0500
-
567d3da4be
get closing working?
Scott Richmond
2024-12-11 16:43:13 -0500
-
6f4b269bdb
follow clippy
Scott Richmond
2024-12-11 15:48:24 -0500
-
65492d0810
follow clippy
Scott Richmond
2024-12-11 15:48:24 -0500
-
9410997886
add args to processes
Scott Richmond
2024-12-11 15:45:34 -0500
-
5b41365caa
add args to processes
Scott Richmond
2024-12-11 15:45:34 -0500
-
3eb9178854
context -> process
Scott Richmond
2024-12-11 15:42:50 -0500
-
f4fbae10e6
context -> process
Scott Richmond
2024-12-11 15:42:50 -0500
-
4b783bc5ef
validator validates recursive functions
Scott Richmond
2024-12-11 15:36:23 -0500
-
36c5d125fb
validator validates recursive functions
Scott Richmond
2024-12-11 15:36:23 -0500
-
acaf726675
arity checking--of local functions
Scott Richmond
2024-12-11 00:20:34 -0500
-
35e9d0373d
arity checking--of local functions
Scott Richmond
2024-12-11 00:20:34 -0500
-
2f8f3f687c
complete first draft of validator
Scott Richmond
2024-12-10 23:42:05 -0500
-
eafe7a7fa9
complete first draft of validator
Scott Richmond
2024-12-10 23:42:05 -0500
-
dd57f49f80
cover all Ast branches
Scott Richmond
2024-12-10 22:40:57 -0500
-
9542dcf5e2
cover all Ast branches
Scott Richmond
2024-12-10 22:40:57 -0500
-
c40f0f45d2
move patterns, clauses into AST
Scott Richmond
2024-12-10 22:26:52 -0500
-
f5a6facb1c
move patterns, clauses into AST
Scott Richmond
2024-12-10 22:26:52 -0500
-
07096abc7d
start moving Patterns into Ast
Scott Richmond
2024-12-10 18:40:43 -0500
-
cab1b3f173
start moving Patterns into Ast
Scott Richmond
2024-12-10 18:40:43 -0500
-
26f3b66b33
loop arity checking
Scott Richmond
2024-12-10 18:07:31 -0500
-
dde9ac4bff
loop arity checking
Scott Richmond
2024-12-10 18:07:31 -0500
-
1e88d803a3
improve do & recur errs
Scott Richmond
2024-12-10 17:39:02 -0500
-
e9b52e1488
improve do & recur errs
Scott Richmond
2024-12-10 17:39:02 -0500
-
8016f9f0bd
first draft of synthetic validation
Scott Richmond
2024-12-10 17:23:15 -0500
-
4c9659271b
first draft of synthetic validation
Scott Richmond
2024-12-10 17:23:15 -0500
-
c5ec437452
start testing, fixing
Scott Richmond
2024-12-10 17:14:26 -0500
-
ec38bcdc8c
start testing, fixing
Scott Richmond
2024-12-10 17:14:26 -0500
-
7a800c7905
all the work trying to write a validator
Scott Richmond
2024-12-10 16:44:52 -0500
-
d48a787447
all the work trying to write a validator
Scott Richmond
2024-12-10 16:44:52 -0500
-
4896987dab
bring in prelude
Scott Richmond
2024-12-08 23:34:05 -0500