Scott Richmond
|
34ab24c4c9
|
add as patterns
|
2025-05-30 14:57:51 -04:00 |
|
Scott Richmond
|
cda217f6ef
|
add string interpolation
|
2025-05-30 11:44:32 -04:00 |
|
Scott Richmond
|
82ac6744ca
|
or and and are now reserved words
|
2025-05-28 16:37:25 -04:00 |
|
Scott Richmond
|
182b14e5f4
|
add builtins, fix basic synthetic expressions
|
2025-05-27 14:15:12 -04:00 |
|
Scott Richmond
|
74cc0025d6
|
first draft loop/recur, seems to work?
|
2025-05-26 11:03:37 -04:00 |
|
Scott Richmond
|
db7eb5965d
|
return register now an 8-member array
|
2025-05-26 09:16:47 -04:00 |
|
Scott Richmond
|
1e1593298d
|
update repeat
|
2025-05-26 08:32:33 -04:00 |
|
Scott Richmond
|
04c96c9edb
|
dict patterns prolly work? one-level nested patterns work
|
2025-05-25 19:14:34 -04:00 |
|
Scott Richmond
|
45d2e7e742
|
rough, not yet working, draft of dict patterns
|
2025-05-25 19:09:21 -04:00 |
|
Scott Richmond
|
cf51822128
|
add list patterns, fix dict stack mechanics
|
2025-05-25 16:30:20 -04:00 |
|
Scott Richmond
|
4f7ba56d1f
|
properly compile when expressions?
|
2025-05-23 17:59:09 -04:00 |
|
Scott Richmond
|
ce1612a30c
|
compiler: decouple stack & bindings resetting
|
2025-05-23 13:43:35 -04:00 |
|
Scott Richmond
|
1ef0da5dd1
|
compiler: decouple stack & bindings resetting
|
2025-05-23 13:42:29 -04:00 |
|
Scott Richmond
|
4a4b2b22ed
|
oh god, so many changes. working on tuple matching
|
2025-05-23 00:09:35 -04:00 |
|
Scott Richmond
|
6c803cdf5a
|
take some loop notes
|
2024-12-27 00:54:31 -05:00 |
|
Scott Richmond
|
a7ee8f8e57
|
vm::run is now a loop, not vm::interpret as a tailcall
|
2024-12-27 00:47:22 -05:00 |
|
Scott Richmond
|
8908630a21
|
add match_depth to vm
|
2024-12-27 00:22:01 -05:00 |
|
Scott Richmond
|
6f582bff06
|
refactor if/else to match in guard compilation
|
2024-12-26 23:48:38 -05:00 |
|
Scott Richmond
|
f5965fdb44
|
compile guards in match forms
|
2024-12-26 23:46:06 -05:00 |
|
Scott Richmond
|
cfe0b83192
|
fix block compilation; compile & run repeat
|
2024-12-26 23:33:57 -05:00 |
|
Scott Richmond
|
4fa2ce5e78
|
separate compiler & chunk
|
2024-12-26 19:03:09 -05:00 |
|
Scott Richmond
|
40d4f48878
|
notes and comments
|
2024-12-26 18:41:54 -05:00 |
|
Scott Richmond
|
ef0ac40dbe
|
working & thinking
|
2024-12-24 12:35:44 -05:00 |
|
Scott Richmond
|
a4f12c8f7d
|
continue work on compiling functions
|
2024-12-23 10:55:28 -05:00 |
|
Scott Richmond
|
9f4e630544
|
get lifetime out of Chunk, thus out of Value
|
2024-12-22 19:51:02 -05:00 |
|
Scott Richmond
|
be23ee6c44
|
get simple match forms done
|
2024-12-22 19:33:59 -05:00 |
|
Scott Richmond
|
d943185db8
|
do lots of work
|
2024-12-22 19:07:42 -05:00 |
|
Scott Richmond
|
d4342b0623
|
get binding & pretty debugging working
|
2024-12-18 01:28:23 -05:00 |
|
Scott Richmond
|
48754f92a4
|
do work
|
2024-12-17 23:45:39 -05:00 |
|
Scott Richmond
|
096d8d00bc
|
add untracked from opening bytecode branch
|
2024-12-15 23:50:12 -05:00 |
|
Scott Richmond
|
9c3205d4c1
|
DRY out validator, simplify code
|
2024-12-15 23:49:43 -05:00 |
|
Scott Richmond
|
6c78cffe56
|
finish list of valid types
|
2024-12-15 23:49:27 -05:00 |
|
Scott Richmond
|
35fc591c76
|
make some progress: atoms and ifs
|
2024-12-15 23:28:57 -05:00 |
|
Scott Richmond
|
eff2ed90d5
|
some simple bytecodes!
|
2024-12-15 17:54:40 -05:00 |
|
Scott Richmond
|
86aea78c21
|
start working on a bytecode interpreter!
|
2024-12-15 16:37:51 -05:00 |
|
Scott Richmond
|
d4af160f80
|
things & stuff
|
2024-12-14 13:43:08 -05:00 |
|
Scott Richmond
|
8535225167
|
fix print!
|
2024-12-13 13:47:03 -05:00 |
|
Scott Richmond
|
73e60b8ced
|
bring full prelude into Ludus.
|
2024-12-12 19:43:56 -05:00 |
|
Scott Richmond
|
49a0b0f8a7
|
fix loop validation bugs
|
2024-12-12 19:28:55 -05:00 |
|
Scott Richmond
|
ac4bd0fb55
|
improve panic reports
|
2024-12-12 19:01:51 -05:00 |
|
Scott Richmond
|
273267f61d
|
a slow and brute-force approach to the problem of re-binding closed-over forward declarations
|
2024-12-12 01:19:39 -05:00 |
|
Scott Richmond
|
5e73c5cb3b
|
ariadne hooked up to panic messages
|
2024-12-12 00:31:57 -05:00 |
|
Scott Richmond
|
b2e08fe207
|
fiddle
|
2024-12-11 19:13:06 -05:00 |
|
Scott Richmond
|
229470fee3
|
refactor process to use visit method everywhere
|
2024-12-11 19:11:40 -05:00 |
|
Scott Richmond
|
ecc7b26b66
|
process now uses spans, for to give panic locations
|
2024-12-11 18:58:59 -05:00 |
|
Scott Richmond
|
5f154fe56f
|
stash changes before ripping up a bunch of stuff
|
2024-12-11 17:37:42 -05:00 |
|
Scott Richmond
|
7431cbf380
|
start debugging full prelude
|
2024-12-11 17:32:31 -05:00 |
|
Scott Richmond
|
6a01089973
|
closing works, so does importing from Prelude!
|
2024-12-11 17:22:37 -05:00 |
|
Scott Richmond
|
567d3da4be
|
get closing working?
|
2024-12-11 16:43:13 -05:00 |
|
Scott Richmond
|
65492d0810
|
follow clippy
|
2024-12-11 15:48:24 -05:00 |
|
Scott Richmond
|
5b41365caa
|
add args to processes
|
2024-12-11 15:45:34 -05:00 |
|
Scott Richmond
|
f4fbae10e6
|
context -> process
|
2024-12-11 15:42:50 -05:00 |
|
Scott Richmond
|
36c5d125fb
|
validator validates recursive functions
|
2024-12-11 15:36:23 -05:00 |
|
Scott Richmond
|
35e9d0373d
|
arity checking--of local functions
|
2024-12-11 00:20:34 -05:00 |
|
Scott Richmond
|
eafe7a7fa9
|
complete first draft of validator
|
2024-12-10 23:42:05 -05:00 |
|
Scott Richmond
|
9542dcf5e2
|
cover all Ast branches
|
2024-12-10 22:40:57 -05:00 |
|
Scott Richmond
|
f5a6facb1c
|
move patterns, clauses into AST
|
2024-12-10 22:26:52 -05:00 |
|
Scott Richmond
|
cab1b3f173
|
start moving Patterns into Ast
|
2024-12-10 18:40:43 -05:00 |
|
Scott Richmond
|
dde9ac4bff
|
loop arity checking
|
2024-12-10 18:07:31 -05:00 |
|
Scott Richmond
|
e9b52e1488
|
improve do & recur errs
|
2024-12-10 17:39:02 -05:00 |
|
Scott Richmond
|
4c9659271b
|
first draft of synthetic validation
|
2024-12-10 17:23:15 -05:00 |
|
Scott Richmond
|
ec38bcdc8c
|
start testing, fixing
|
2024-12-10 17:14:26 -05:00 |
|
Scott Richmond
|
d48a787447
|
all the work trying to write a validator
|
2024-12-10 16:44:52 -05:00 |
|
Scott Richmond
|
f063d55404
|
actually commit the big new file
|
2024-12-08 23:33:46 -05:00 |
|
Scott Richmond
|
383f21fbd8
|
many refactorings; unfucked lifetimes?
|
2024-12-08 23:33:02 -05:00 |
|
Scott Richmond
|
525ca2c8cb
|
type alias for Context
|
2024-12-08 00:02:01 -05:00 |
|
Scott Richmond
|
6ba05f31e6
|
finish fighting with lifetimes: string pattern matching works!
|
2024-12-07 23:56:19 -05:00 |
|
Scott Richmond
|
5a64c6623c
|
fighting with lifetimes
|
2024-12-07 22:29:10 -05:00 |
|
Scott Richmond
|
2a26316b50
|
parse string patterns, perhaps correctly, perhaps not
|
2024-12-07 18:26:25 -05:00 |
|
Scott Richmond
|
13c14fd38f
|
finish base, I think
|
2024-12-06 14:08:34 -05:00 |
|
Scott Richmond
|
5e10a87cbc
|
keep adding to base, pull type function from value to base
|
2024-12-06 13:21:25 -05:00 |
|
Scott Richmond
|
96906fdb9f
|
tick some boxes
|
2024-12-05 14:02:41 -05:00 |
|
Scott Richmond
|
ad6fcccc79
|
add concat
|
2024-12-05 11:51:42 -05:00 |
|
Scott Richmond
|
af14eaee72
|
add some functions, base fns return values, not results
|
2024-12-04 20:19:41 -05:00 |
|
Scott Richmond
|
c3408a56c1
|
ensure inlined and allocated strings are equal
|
2024-12-04 19:13:25 -05:00 |
|
Scott Richmond
|
c9038fd8fb
|
complete string interpolation
|
2024-12-04 19:07:03 -05:00 |
|
Scott Richmond
|
b6c4c6375b
|
parse interpolated strings
|
2024-12-04 18:31:13 -05:00 |
|
Scott Richmond
|
62671094a0
|
parse interpolated strings
|
2024-12-04 18:30:03 -05:00 |
|
Scott Richmond
|
c5c1717e57
|
add ref-counted string type
|
2024-12-04 15:03:09 -05:00 |
|
Scott Richmond
|
ad76f41b52
|
parse docstrings
|
2024-11-21 22:36:57 -05:00 |
|
Scott Richmond
|
a35d5293a9
|
update todos
|
2024-11-21 20:09:37 -05:00 |
|
Scott Richmond
|
b8f040c6ce
|
get right with clippy
|
2024-11-21 20:00:49 -05:00 |
|
Scott Richmond
|
72846ccd5c
|
follow clippy
|
2024-11-21 19:54:50 -05:00 |
|
Scott Richmond
|
e4954678f0
|
start looking into memory layout
|
2024-11-21 18:50:13 -05:00 |
|
Scott Richmond
|
0cd170bd83
|
clean up most warnings
|
2024-11-21 17:10:50 -05:00 |
|
Scott Richmond
|
ad076622aa
|
interpret loop & recur
|
2024-11-21 17:02:54 -05:00 |
|
Scott Richmond
|
423f43b7fd
|
parse loop and recur
|
2024-11-21 16:57:52 -05:00 |
|
Scott Richmond
|
dbff31be40
|
parse loop and recur
|
2024-11-21 16:41:46 -05:00 |
|
Scott Richmond
|
56e6712154
|
add guard clauses to match and fn
|
2024-11-20 20:10:17 -05:00 |
|
Scott Richmond
|
7a4bf5ff29
|
list splatterns!
|
2024-11-18 20:01:27 -05:00 |
|
Scott Richmond
|
0acad8b312
|
tuple splatterns now work
|
2024-11-18 13:25:54 -05:00 |
|
Scott Richmond
|
3957e9c14a
|
update todo list
|
2024-11-14 22:19:52 -05:00 |
|
Scott Richmond
|
938033ab5d
|
add as patterns
|
2024-11-14 21:55:19 -05:00 |
|
Scott Richmond
|
f1d19b73db
|
remove test cruft
|
2024-11-14 21:31:26 -05:00 |
|
Scott Richmond
|
10bc2e9b0c
|
get base functions working
|
2024-11-14 21:30:42 -05:00 |
|
Scott Richmond
|
26ff15cae8
|
lots of work, need to fix cloning closures in base
|
2024-11-11 17:50:58 -05:00 |
|
Scott Richmond
|
9f0cef5207
|
lots of new things! almost a language
|
2024-11-10 20:12:19 -05:00 |
|
Scott Richmond
|
bb683b09b4
|
futz, but mostly take notes
|
2024-11-09 14:10:08 -05:00 |
|
Scott Richmond
|
32ab5f7944
|
actually remove catchall pattern in eval
|
2024-11-07 20:41:38 -05:00 |
|
Scott Richmond
|
fd55604608
|
actually remove catchall pattern in eval
|
2024-11-07 19:05:24 -05:00 |
|