mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
Run cargo fmt
This commit is contained in:
parent
ec0dd6fa68
commit
8e652500d8
@ -288,11 +288,7 @@ pub struct RunOpts {
|
|||||||
|
|
||||||
impl Default for RunOpts {
|
impl Default for RunOpts {
|
||||||
fn default() -> Self {
|
fn default() -> Self {
|
||||||
RunOpts {
|
RunOpts { linear_readback: false, pretty: false, hvm_path: "hvm".to_string() }
|
||||||
linear_readback: false,
|
|
||||||
pretty: false,
|
|
||||||
hvm_path: "hvm".to_string()
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -175,7 +175,8 @@ fn run_file() {
|
|||||||
|
|
||||||
for adt_encoding in [AdtEncoding::NumScott, AdtEncoding::Scott] {
|
for adt_encoding in [AdtEncoding::NumScott, AdtEncoding::Scott] {
|
||||||
let compile_opts = CompileOpts { adt_encoding, ..CompileOpts::default() };
|
let compile_opts = CompileOpts { adt_encoding, ..CompileOpts::default() };
|
||||||
let (term, _, diags) = run_book_simple(book.clone(), run_opts.clone(), compile_opts, diagnostics_cfg, None)?;
|
let (term, _, diags) =
|
||||||
|
run_book_simple(book.clone(), run_opts.clone(), compile_opts, diagnostics_cfg, None)?;
|
||||||
res.push_str(&format!("{adt_encoding}:\n{diags}{term}\n\n"));
|
res.push_str(&format!("{adt_encoding}:\n{diags}{term}\n\n"));
|
||||||
}
|
}
|
||||||
Ok(res)
|
Ok(res)
|
||||||
|
Loading…
Reference in New Issue
Block a user