From ecbc47d4fe099af9fa1502453d1c150b9fd72b72 Mon Sep 17 00:00:00 2001
From: Ava Hahn <ava@aidanis.online>
Date: Wed, 1 Mar 2023 11:33:30 -0800
Subject: [PATCH] fix prompt

---
 src/config.rs | 2 +-
 src/sym.rs    | 8 ++++++--
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/config.rs b/src/config.rs
index 02fc6aa..78ea488 100644
--- a/src/config.rs
+++ b/src/config.rs
@@ -24,7 +24,7 @@ use std::io;
 use std::rc::Rc;
 
 fn prompt_default_callback(_: &Seg, _: &mut SymTable) -> Result<Ctr, String> {
-    Ok(Ctr::String("λ ".to_string()))
+    Ok(Ctr::Symbol("λ ".to_string()))
 }
 
 /* loads defaults, evaluates config script */
diff --git a/src/sym.rs b/src/sym.rs
index a5db769..69a62d3 100644
--- a/src/sym.rs
+++ b/src/sym.rs
@@ -123,8 +123,12 @@ impl Args {
     fn validate_inputs(&self, args: &Seg) -> Result<(), String> {
         match self {
             Args::None => {
-                if args.is_empty() {
-                    return Ok(())
+                if args.len() == 1 {
+                    if let Ctr::None = *args.car {
+                        return Ok(())
+                    } else {
+                        return Err("expected no args".to_string())
+                    }
                 } else {
                     return Err("expected no args".to_string())
                 }