Commit Graph

  • 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