-
6c803cdf5a
take some loop notes
bytecode
Scott Richmond
2024-12-27 00:54:31 -0500
-
a7ee8f8e57
vm::run is now a loop, not vm::interpret as a tailcall
Scott Richmond
2024-12-27 00:47:22 -0500
-
8908630a21
add match_depth to vm
Scott Richmond
2024-12-27 00:22:01 -0500
-
6f582bff06
refactor if/else to match in guard compilation
Scott Richmond
2024-12-26 23:48:38 -0500
-
f5965fdb44
compile guards in match forms
Scott Richmond
2024-12-26 23:46:06 -0500
-
cfe0b83192
fix block compilation; compile & run repeat
Scott Richmond
2024-12-26 23:33:57 -0500
-
4fa2ce5e78
separate compiler & chunk
Scott Richmond
2024-12-26 19:03:09 -0500
-
40d4f48878
notes and comments
Scott Richmond
2024-12-26 18:41:54 -0500
-
ef0ac40dbe
working & thinking
Scott Richmond
2024-12-24 12:35:44 -0500
-
a4f12c8f7d
continue work on compiling functions
Scott Richmond
2024-12-23 10:55:28 -0500
-
9f4e630544
get lifetime out of Chunk, thus out of Value
Scott Richmond
2024-12-22 19:51:02 -0500
-
be23ee6c44
get simple match forms done
Scott Richmond
2024-12-22 19:33:59 -0500
-
d943185db8
do lots of work
Scott Richmond
2024-12-22 19:07:42 -0500
-
d4342b0623
get binding & pretty debugging working
Scott Richmond
2024-12-18 01:28:23 -0500
-
48754f92a4
do work
Scott Richmond
2024-12-17 23:45:39 -0500
-
096d8d00bc
add untracked from opening bytecode branch
Scott Richmond
2024-12-15 23:50:12 -0500
-
9c3205d4c1
DRY out validator, simplify code
Scott Richmond
2024-12-15 23:49:43 -0500
-
6c78cffe56
finish list of valid types
Scott Richmond
2024-12-15 23:49:27 -0500
-
35fc591c76
make some progress: atoms and ifs
Scott Richmond
2024-12-15 23:28:57 -0500
-
eff2ed90d5
some simple bytecodes!
Scott Richmond
2024-12-15 17:54:40 -0500
-
86aea78c21
start working on a bytecode interpreter!
Scott Richmond
2024-12-15 16:37:51 -0500
-
d4af160f80
things & stuff
main
Scott Richmond
2024-12-14 13:43:08 -0500
-
8535225167
fix print!
Scott Richmond
2024-12-13 13:47:03 -0500
-
73e60b8ced
bring full prelude into Ludus.
Scott Richmond
2024-12-12 19:43:56 -0500
-
49a0b0f8a7
fix loop validation bugs
Scott Richmond
2024-12-12 19:28:55 -0500
-
ac4bd0fb55
improve panic reports
Scott Richmond
2024-12-12 19:01:51 -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
-
5e73c5cb3b
ariadne hooked up to panic messages
Scott Richmond
2024-12-12 00:31:57 -0500
-
b2e08fe207
fiddle
Scott Richmond
2024-12-11 19:13:06 -0500
-
229470fee3
refactor process to use
visit
method everywhere
Scott Richmond
2024-12-11 19:11:40 -0500
-
ecc7b26b66
process now uses spans, for to give panic locations
Scott Richmond
2024-12-11 18:58:59 -0500
-
5f154fe56f
stash changes before ripping up a bunch of stuff
Scott Richmond
2024-12-11 17:37:42 -0500
-
7431cbf380
start debugging full prelude
Scott Richmond
2024-12-11 17:32:31 -0500
-
6a01089973
closing works, so does importing from Prelude!
Scott Richmond
2024-12-11 17:22:37 -0500
-
567d3da4be
get closing working?
Scott Richmond
2024-12-11 16:43:13 -0500
-
65492d0810
follow clippy
Scott Richmond
2024-12-11 15:48:24 -0500
-
5b41365caa
add args to processes
Scott Richmond
2024-12-11 15:45:34 -0500
-
f4fbae10e6
context -> process
Scott Richmond
2024-12-11 15:42:50 -0500
-
36c5d125fb
validator validates recursive functions
Scott Richmond
2024-12-11 15:36:23 -0500
-
35e9d0373d
arity checking--of local functions
Scott Richmond
2024-12-11 00:20:34 -0500
-
eafe7a7fa9
complete first draft of validator
Scott Richmond
2024-12-10 23:42:05 -0500
-
9542dcf5e2
cover all Ast branches
Scott Richmond
2024-12-10 22:40:57 -0500
-
f5a6facb1c
move patterns, clauses into AST
Scott Richmond
2024-12-10 22:26:52 -0500
-
cab1b3f173
start moving Patterns into Ast
Scott Richmond
2024-12-10 18:40:43 -0500
-
dde9ac4bff
loop arity checking
Scott Richmond
2024-12-10 18:07:31 -0500
-
e9b52e1488
improve do & recur errs
Scott Richmond
2024-12-10 17:39:02 -0500
-
4c9659271b
first draft of synthetic validation
Scott Richmond
2024-12-10 17:23:15 -0500
-
ec38bcdc8c
start testing, fixing
Scott Richmond
2024-12-10 17:14:26 -0500
-
d48a787447
all the work trying to write a validator
Scott Richmond
2024-12-10 16:44:52 -0500
-
9a4f247a21
bring in prelude
Scott Richmond
2024-12-08 23:34:05 -0500
-
f063d55404
actually commit the big new file
Scott Richmond
2024-12-08 23:33:46 -0500
-
383f21fbd8
many refactorings; unfucked lifetimes?
Scott Richmond
2024-12-08 23:33:02 -0500
-
525ca2c8cb
type alias for Context
Scott Richmond
2024-12-08 00:02:01 -0500
-
6ba05f31e6
finish fighting with lifetimes: string pattern matching works!
Scott Richmond
2024-12-07 23:56:19 -0500
-
5a64c6623c
fighting with lifetimes
Scott Richmond
2024-12-07 22:29:10 -0500
-
2a26316b50
parse string patterns, perhaps correctly, perhaps not
Scott Richmond
2024-12-07 18:26:25 -0500
-
13c14fd38f
finish base, I think
Scott Richmond
2024-12-06 14:08:34 -0500
-
5e10a87cbc
keep adding to base, pull type function from value to base
Scott Richmond
2024-12-06 13:21:25 -0500
-
96906fdb9f
tick some boxes
Scott Richmond
2024-12-05 14:02:41 -0500
-
ad6fcccc79
add concat
Scott Richmond
2024-12-05 11:51:42 -0500
-
af14eaee72
add some functions, base fns return values, not results
Scott Richmond
2024-12-04 20:19:41 -0500
-
c3408a56c1
ensure inlined and allocated strings are equal
Scott Richmond
2024-12-04 19:13:25 -0500
-
c9038fd8fb
complete string interpolation
Scott Richmond
2024-12-04 19:07:03 -0500
-
b6c4c6375b
parse interpolated strings
Scott Richmond
2024-12-04 18:31:13 -0500
-
62671094a0
parse interpolated strings
Scott Richmond
2024-12-04 18:30:03 -0500
-
c5c1717e57
add ref-counted string type
Scott Richmond
2024-12-04 15:03:09 -0500
-
2a83dbb96c
moar thoughts
Scott Richmond
2024-11-22 00:07:52 -0500
-
5a084e8122
write a few thoughts
Scott Richmond
2024-11-21 23:52:27 -0500
-
ad76f41b52
parse docstrings
Scott Richmond
2024-11-21 22:36:57 -0500
-
a35d5293a9
update todos
Scott Richmond
2024-11-21 20:09:37 -0500
-
b8f040c6ce
get right with clippy
Scott Richmond
2024-11-21 20:00:49 -0500
-
72846ccd5c
follow clippy
Scott Richmond
2024-11-21 19:54:50 -0500
-
e4954678f0
start looking into memory layout
Scott Richmond
2024-11-21 18:50:13 -0500
-
0cd170bd83
clean up most warnings
Scott Richmond
2024-11-21 17:10:50 -0500
-
ad076622aa
interpret loop & recur
Scott Richmond
2024-11-21 17:02:54 -0500
-
423f43b7fd
parse loop and recur
Scott Richmond
2024-11-21 16:57:52 -0500
-
dbff31be40
parse loop and recur
Scott Richmond
2024-11-21 16:41:46 -0500
-
56e6712154
add guard clauses to match and fn
Scott Richmond
2024-11-20 20:10:17 -0500
-
7a4bf5ff29
list splatterns!
Scott Richmond
2024-11-18 20:01:27 -0500
-
0acad8b312
tuple splatterns now work
Scott Richmond
2024-11-18 13:25:54 -0500
-
3957e9c14a
update todo list
Scott Richmond
2024-11-14 22:19:52 -0500
-
938033ab5d
add as patterns
Scott Richmond
2024-11-14 21:55:19 -0500
-
f1d19b73db
remove test cruft
Scott Richmond
2024-11-14 21:31:26 -0500
-
10bc2e9b0c
get base functions working
Scott Richmond
2024-11-14 21:30:42 -0500
-
26ff15cae8
lots of work, need to fix cloning closures in base
Scott Richmond
2024-11-11 17:50:58 -0500
-
9f0cef5207
lots of new things! almost a language
Scott Richmond
2024-11-10 20:12:19 -0500
-
bb683b09b4
futz, but mostly take notes
Scott Richmond
2024-11-09 14:10:08 -0500
-
32ab5f7944
actually remove catchall pattern in eval
Scott Richmond
2024-11-07 20:41:38 -0500
-
fd55604608
actually remove catchall pattern in eval
Scott Richmond
2024-11-07 19:05:24 -0500
-
7819472048
remove catchall pattern in eval
Scott Richmond
2024-11-07 19:04:58 -0500
-
28d1c7ab0c
keep working on some things
Scott Richmond
2024-11-07 18:57:01 -0500
-
0875ec2ab5
get the vm basically working!
Scott Richmond
2024-11-06 18:28:29 -0500
-
740b14f9da
keep working on vm
Scott Richmond
2024-11-06 17:37:57 -0500
-
f2b342a807
add thoughts about vm
Scott Richmond
2024-11-01 16:58:16 -0400
-
b77866baf9
grind on lifetimes, don't get it working
Scott Richmond
2024-10-31 23:53:48 -0400
-
60f0a1081d
break out into separate modules
Scott Richmond
2024-10-31 16:59:26 -0400
-
e4f70dde42
Use chumsky::recursive::Recursive in place of fn recursive
Scott Richmond
2024-10-31 16:28:15 -0400
-
1b9f1d56bc
Fix Stream::from_iter call
Scott Richmond
2024-10-31 15:38:55 -0400
-
01a052f37a
Merge remote-tracking branch 'refs/remotes/origin/main'
Scott Richmond
2024-10-31 15:05:24 -0400
-
-
e1bc5b0c75
Initial commit
Scott Richmond
2024-10-31 19:02:52 +0000