diff options
Diffstat (limited to 'src/sexp/step.rs')
| -rw-r--r-- | src/sexp/step.rs | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/src/sexp/step.rs b/src/sexp/step.rs index d35c8af..5b60fec 100644 --- a/src/sexp/step.rs +++ b/src/sexp/step.rs @@ -323,29 +323,12 @@ impl SExp { pub fn step(self) -> Result<Self, String> { match self { - - // Type list (maybe these should just be parsed...) - SCons(op, l) if (*op).is_type_lit() => { - if *l == Atom(Nil) { - return Ok(*op); - } - let mut res = vec![]; - for exp in std::iter::once(*op).chain(l.parts()) { - res.push(match exp.multistep()? { - Atom(Ty(t)) => Ok(t), - e => Err(format!("not a type: {e}")), - }?); - } - Ok(Atom(Ty(List(res)))) - }, - // t is value // ---------- // t -> t t if t.is_value() => Ok(t), - // List processing // op not a value @@ -633,17 +616,6 @@ impl SExp { } }, - // Type arrow - SCons(op, l) if *op == Atom(Arr) => { - let ls = l.parts(); - let t1 = ls.get(0).ok_or("wrong list length".to_string())?; - let t2 = ls.get(1).ok_or("wrong list length".to_string())?; - match (t1.clone().multistep()?, t2.clone().multistep()?) { - (Atom(Ty(a)), Atom(Ty(b))) => Ok(Atom(Ty(arr(a.clone(), b.clone())))), - _ => Err("invalid args".to_string()), - } - }, - // Nil in list SCons(op, _) if *op == Atom(Nil) => { Ok(scons(Vector, Nil)) |