diff options
| -rw-r--r-- | src/sexp/case.rs | 2 | ||||
| -rw-r--r-- | src/type/check.rs | 2 | ||||
| -rw-r--r-- | src/type/conversion.rs | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/sexp/case.rs b/src/sexp/case.rs index 0c3d82d..4c2c7ba 100644 --- a/src/sexp/case.rs +++ b/src/sexp/case.rs @@ -1,5 +1,5 @@ -use crate::sexp::{SExp, SLeaf, SExp::*, SLeaf::*, util::*}; +use crate::sexp::{SExp, SLeaf, SExp::*, SLeaf::*}; impl SExp { /** diff --git a/src/type/check.rs b/src/type/check.rs index fd5d1d3..a54ffc2 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -292,7 +292,7 @@ impl SExp { if (**op).clone() == Atom(Nil) { return match (**l).clone() { SCons(v, n) if *n == Atom(Nil) => match *v { - Atom(Ty(t)) => Ok(vecof(t)), + Atom(Ty(t)) => Ok(List(vec![VecType, vecof(t)])), _ => Err(OtherError), }, _ => Err(OtherError) diff --git a/src/type/conversion.rs b/src/type/conversion.rs index 1ada0d3..1d14971 100644 --- a/src/type/conversion.rs +++ b/src/type/conversion.rs @@ -109,7 +109,7 @@ impl Type { } }, - (VecOf(a), VecOf(b)) => { + (VecOf(_), VecOf(b)) => { match &**b { VarType(s) => (vecof(vt(s)), ctx), _ => (vt("T"), ctx) |