diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-14 18:48:43 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-14 18:48:43 +0300 |
| commit | f057211407df29c772ac18303f13d5564684979d (patch) | |
| tree | 2bbca39327156317a1fb0152889c469523b93d88 /src/type | |
| parent | c411c568d60246cd995ebf6880f4143e458b605f (diff) | |
| download | myslip-f057211407df29c772ac18303f13d5564684979d.tar.gz myslip-f057211407df29c772ac18303f13d5564684979d.zip | |
feat: statics for fixed point recursion
Diffstat (limited to 'src/type')
| -rw-r--r-- | src/type/check.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/type/check.rs b/src/type/check.rs index effdc0a..d118871 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -257,6 +257,7 @@ impl SExp { Atom(Print) => Ok(arr(vt("_"), List(vec![]))), Atom(Ty(_)) => Ok(TypeLit), Atom(Fun) => Err(FunAsAtom), + Atom(Fix) => Ok(arr(arr(vt("T"), vt("T")), vt("T"))), Atom(Case) => Err(CaseAsAtom), Atom(RestPat(_)) => Err(RestAsAtom), |