diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-14 15:31:27 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-14 15:31:27 +0300 |
| commit | 928a3358483f60db84dc2918415882b35adc006b (patch) | |
| tree | 0b35b8e601f3ca93cdeb7f8d45bb1d06cf274e66 /src/type/check.rs | |
| parent | 907bd54d19f6bf14a130a136df6f37cc5d256468 (diff) | |
| download | myslip-928a3358483f60db84dc2918415882b35adc006b.tar.gz myslip-928a3358483f60db84dc2918415882b35adc006b.zip | |
fix: removed obsolete code for handling types as they are now parsed directly to atoms
Diffstat (limited to 'src/type/check.rs')
| -rw-r--r-- | src/type/check.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/type/check.rs b/src/type/check.rs index 69e9141..ad6be13 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -127,7 +127,7 @@ impl SExp { /// }; /// /// let varlist = scons(var("a"), scons(var("b"), Nil)); - /// let typelist = scons(Ty(Integer), scons(Ty(Integer), Nil)); + /// let typelist = scons(Ty(List(vec![Integer])), Nil); /// let ret = Atom(Ty(Boolean)); /// let body = scons(Eq, varlist.clone()); /// assert_eq!( @@ -256,7 +256,6 @@ impl SExp { Atom(Let) => Ok(LetType), Atom(Print) => Ok(arr(vt("_"), List(vec![]))), Atom(Ty(_)) => Ok(TypeLit), - Atom(Arr) => Ok(arr(List(vec![TypeLit, TypeLit]), TypeLit)), Atom(Fun) => Err(FunAsAtom), Atom(Case) => Err(CaseAsAtom), Atom(RestPat(_)) => Err(RestAsAtom), |