Skip to content

Commit

Permalink
Run rustfmt.
Browse files Browse the repository at this point in the history
  • Loading branch information
FranchuFranchu committed Feb 27, 2024
1 parent 1d83f9e commit 95b9a47
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 4 deletions.
6 changes: 4 additions & 2 deletions src/host/encode.rs
Original file line number Diff line number Diff line change
Expand Up @@ -10,11 +10,13 @@ use crate::{
};

impl Host {
/// Encode a tree `tree` directly into a port or wire `trg`, skipping the intermediate `Def` representation
/// Encode a tree `tree` directly into a port or wire `trg`, skipping the
/// intermediate `Def` representation
pub fn encode_tree<M: Mode>(&self, net: &mut run::Net<M>, trg: Trg, tree: &Tree) {
EncodeState { host: self, net, vars: Default::default() }.encode(trg, tree);
}
/// Encode the root of `ast_net` directly into `trg` and encode its redexes into `net` redex list.
/// Encode the root of `ast_net` directly into `trg` and encode its redexes
/// into `net` redex list.
pub fn encode_net<M: Mode>(&self, net: &mut run::Net<M>, trg: Trg, ast_net: &Net) {
let mut state = EncodeState { host: self, net, vars: Default::default() };
for (l, r) in &ast_net.rdex {
Expand Down
8 changes: 6 additions & 2 deletions src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,10 @@ fn main() {
}

#[derive(Parser, Debug)]
#[command(author, version, about = "A massively parallel Interaction Combinator evaluator",
#[command(
author,
version,
about = "A massively parallel Interaction Combinator evaluator",
long_about = r##"
A massively parallel Interaction Combinator evaluator
Expand All @@ -58,7 +61,8 @@ $ hvmc run examples/church_encoding/church.hvm
$ hvmc run tests/programs/addition.hvmc "#16" "#3"
$ hvmc compile tests/programs/addition.hvmc
$ hvmc reduce tests/programs/addition.hvmc -- "a & @mul ~ (#3 (#4 a))"
$ hvmc reduce -- "a & #3 ~ <* #4 a>""##)]
$ hvmc reduce -- "a & #3 ~ <* #4 a>""##
)]
struct FullCli {
#[command(subcommand)]
pub mode: CliMode,
Expand Down

0 comments on commit 95b9a47

Please sign in to comment.