diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-11 21:39:01 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-11 21:39:01 +0300 |
| commit | 2e17ad5361a86d004ca48419a0f69f9c298ec1e1 (patch) | |
| tree | 562b4735c164024e348fbf622e7b59319f0f0e35 /src/type/check.rs | |
| parent | c2a293e46e6bf7563138ea852191ae70a7b7652e (diff) | |
| download | myslip-2e17ad5361a86d004ca48419a0f69f9c298ec1e1.tar.gz myslip-2e17ad5361a86d004ca48419a0f69f9c298ec1e1.zip | |
refactor: Added helper matches_pat for pattern matching
Diffstat (limited to 'src/type/check.rs')
| -rw-r--r-- | src/type/check.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/type/check.rs b/src/type/check.rs index d815c85..b2815c7 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -233,6 +233,8 @@ impl SExp { Atom(Ty(_)) => Ok(TypeLit), Atom(Arr) => Ok(arr(List(vec![TypeLit, TypeLit]), TypeLit)), Atom(Fun) => Err(FunAsAtom), + Atom(Case) => todo!(), + Atom(RestPat(_)) => todo!(), SCons(op, l) => { |