diff options
Diffstat (limited to 'src/type/check.rs')
| -rw-r--r-- | src/type/check.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/type/check.rs b/src/type/check.rs index 81a43a4..c3bdcb4 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -28,7 +28,7 @@ impl SExp { /// /// assert_eq!( /// scons(Quote, scons(1, scons(False, Nil))).type_check(), - /// Ok(List(vec![Integer, Boolean])) + /// Ok(List(vec![QuoteTy, List(vec![Integer, Boolean])])) /// ); /// ``` /// Though so is Nil given too: @@ -150,8 +150,8 @@ impl SExp { Atom(Not) => Ok(arr(List(vec!(Boolean)), Boolean)), Atom(Nil) => Ok(List(vec![])), Atom(Quote) => Ok(arr( - VarType("T".to_string()), - VarType("T".to_string()) + vt("T"), + List(vec![QuoteTy, vt("T")]) )), SCons(op, l) => { |