mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 11:56:54 +03:00
update hvm
This commit is contained in:
parent
9d195078df
commit
bf45ac884a
2
Cargo.lock
generated
2
Cargo.lock
generated
@ -215,7 +215,7 @@ checksum = "95505c38b4572b2d910cecb0281560f54b440a19336cbbcb27bf6ce6adc6f5a8"
|
||||
[[package]]
|
||||
name = "hvm-core"
|
||||
version = "0.1.0"
|
||||
source = "git+https://github.com/HigherOrderCO/hvm-core.git#d9bbd1cb2568a6aa22ec3f1b5229101f2a028181"
|
||||
source = "git+https://github.com/HigherOrderCO/hvm-core.git#1fb2989d97b5649b1cf0514f8f8d9c405449022f"
|
||||
dependencies = [
|
||||
"nohash",
|
||||
]
|
||||
|
@ -21,7 +21,7 @@ chumsky = "1.0.0-alpha.4"
|
||||
clap = { version = "4.4.1", features = ["derive"], optional = true }
|
||||
derive_more = "0.99.17"
|
||||
hvm-core = { git = "https://github.com/HigherOrderCO/hvm-core.git" }
|
||||
# hvm-core = { path = "../hvm-core/rust" }
|
||||
#hvm-core = { path = "../hvm-core/rust" }
|
||||
itertools = "0.11.0"
|
||||
logos = "0.13.0"
|
||||
shrinkwraprs = "0.3.0"
|
||||
|
@ -31,7 +31,7 @@ pub fn book_to_hvm_internal(book: &Book) -> anyhow::Result<(hvm_core::Net, hvm_c
|
||||
|
||||
let mut hvm_book = hvm_core::Book::new();
|
||||
book.defs.iter().for_each(|(&name, term)| {
|
||||
hvm_book.def(*name, lnet_to_net(term));
|
||||
hvm_book.def(*name, lnet_to_net(term, None));
|
||||
});
|
||||
|
||||
Ok((root, hvm_book))
|
||||
|
Loading…
Reference in New Issue
Block a user