tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-10-26 11:52:13 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #541 from tweag/avi/fix-523

Browse Source 
Fix: #523
This commit is contained in:
Yann Hamdaoui 2022-01-04 21:19:49 +01:00 committed by GitHub
commit aee5b5524d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/bin/nickel.rs
View File

@ -4,7 +4,7 @@ use nickel::program::Program;
use nickel::repl::query_print;
#[cfg(feature = "repl")]
use nickel::repl::rustyline_frontend;
use nickel::term::RichTerm;
use nickel::term::{RichTerm, Term};
use nickel::{serialize, serialize::ExportFormat};
use std::path::PathBuf;
use std::{fs, process};
@ -117,7 +117,9 @@ fn main() {
}
Some(Command::Typecheck) => program.typecheck().map(|_| ()),
Some(Command::Repl { .. }) => unreachable!(),
None => program.eval().map(|t| println!("Done: {:?}", t)),
None => program
.eval_full()
.map(|t| println!("{}", Term::from(t).deep_repr())),
};
if let Err(err) = result {