affine/Mycelium
2
1
Fork 0
Code Issues 29 Pull requests Projects 4 Releases Packages Wiki Activity Actions

Compare commits

base: affine:c798cde966a5903622dbd3b4ae627074249b4833
Branches Tags
affine:main
affine:usage-instructions
..
compare: affine:6f95381e5e989648e74bd754eda44aa424d28ffd
Branches Tags
affine:main
affine:usage-instructions

3 commits
c798cde966 ... 6f95381e5e

Author SHA1 Message Date
Ava Affine
6f95381e5e normalize edition to 2024
All checks were successful
per-push tests / build (push) Successful in 38s
Details
per-push tests / test-frontend (push) Successful in 31s
Details
per-push tests / test-utility (push) Successful in 34s
Details
per-push tests / timed-decomposer-parse (push) Successful in 26s
Details
per-push tests / test-backend (push) Successful in 30s
Details 
Signed-off-by: Ava Affine <ava@sunnypup.io>
 2025-07-24 19:28:25 +00:00
Ava Affine
14396895e9 add forgejo CI 
Signed-off-by: Ava Affine <ava@sunnypup.io>
 2025-07-24 19:28:25 +00:00
Ava Affine
4ad319213d HyphaeVM - WIP 
This commit is a WORK IN PROGRESS for the base implementation of the
HyphaeVM. This will be squashed into a larger commit eventually when
the work of implementing the HyphaeVM is finished.

Of note, the ISA is mostly finished and much of the VM design is in
place. Yet to be done are a few traps in mycelium, migrating pieces
like the number package and the sexpr package into the VM package,
and of course much testing.

Signed-off-by: Ava Affine <ava@sunnypup.io>
 2025-07-24 19:26:31 +00:00
2 changed files with 23 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

23
hyphae/instructions.toml
View file

@ -235,6 +235,18 @@ args = ["src"]
output = "" output = ""
description = "mutates a number datum into a char datum" description = "mutates a number datum into a char datum"
[[instructions]]
name = "ntoi"
args = ["src"]
output = ""
description = "mutates a number datum into its exact form"
[[instructions]]
name = "ntoe"
args = ["src"]
output = ""
description = "mutates a number datum into its inexact form"
[[instructions]] [[instructions]]
name = "mkvec" name = "mkvec"
args = [] args = []
@ -289,14 +301,3 @@ args = ["list"]
output = "returns last element in cons cell" output = "returns last element in cons cell"
description = "takes an AST and returns last element in top level cons cell" description = "takes an AST and returns last element in top level cons cell"
[[instructions]]
name = "parse"
args = ["input"]
output = "parses an AST from input string"
description = "calls parse and lex routine on an input string"
[[instructions]]
name = "eval"
args = []
output = "result of compiled instructions"
description = "expects AST in expr. compiles it to instructions and runs them"

15
hyphae/src/vm.rs
View file

@ -437,12 +437,19 @@ impl VM {
e!("illegal argument to CAR instruction"); e!("illegal argument to CAR instruction");
}; };
self.expr = (*arg.0).clone(); self.expr = (*arg.1).clone();
}, },
i::CONS => todo!("implement AST API"), i::CONS => {
i::PARSE => todo!("implement AST API"), /* CONS BEHAVIOR
i::EVAL => todo!("implement AST API"), * L Datum is not list means create a new standard form list
* L Datum is list then append the second element to the first
*/
},
// in order to maintain a language agnostic VM these must be traps
//i::PARSE => todo!("implement AST API"),
//i::EVAL => todo!("implement AST API"),
_ => { _ => {
e!("illegal instruction"); e!("illegal instruction");