Remove different behaviour when single input

tweag · Apr 30, 2024 · 0d4b06f · 0d4b06f
1 parent c09b4ca
commit 0d4b06f
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 19 deletions.
diff --git a/cli/src/input.rs b/cli/src/input.rs
@@ -35,7 +35,6 @@ impl<C: clap::Args + Customize> Prepare for InputOptions<C> {
     fn prepare(&self, global: &GlobalOptions) -> CliResult<Program<CBNCache>> {
         let mut program = match self.files.as_slice() {
             [] => Program::new_from_stdin(std::io::stderr()),
-            [p] => Program::new_from_file(p, std::io::stderr()),
             files => Program::new_from_files(files, std::io::stderr()),
         }?;
 

diff --git a/core/src/program.rs b/core/src/program.rs
@@ -230,24 +230,6 @@ impl<EC: EvalCache> Program<EC> {
         })
     }
 
-    pub fn new_from_file(
-        path: impl Into<OsString>,
-        trace: impl Write + 'static,
-    ) -> std::io::Result<Self> {
-        increment!("Program::new");
-
-        let mut cache = Cache::new(ErrorTolerance::Strict);
-        let main_id = cache.add_file(path)?;
-        let vm = VirtualMachine::new(cache, trace);
-        Ok(Self {
-            main_id,
-            vm,
-            color_opt: clap::ColorChoice::Auto.into(),
-            overrides: Vec::new(),
-            field: FieldPath::new(),
-        })
-    }
-
     /// Create a program by reading it from a generic source.
     pub fn new_from_source<T, S>(
         source: T,