diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-09 21:39:45 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-09 21:39:45 +0300 |
| commit | a2ca4c08dcbb5c08e210bc741141290a136a8de4 (patch) | |
| tree | 17e35daeb7028b61b3afb2a9a626bcf38a3dfbff /src/type | |
| parent | 8062ed87d30fa7628f26cfd7bb94bb0e7401752b (diff) | |
| download | myslip-a2ca4c08dcbb5c08e210bc741141290a136a8de4.tar.gz myslip-a2ca4c08dcbb5c08e210bc741141290a136a8de4.zip | |
Implemented print as ? -> ()
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 e536ce7..77420e3 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -194,6 +194,7 @@ impl SExp { List(vec![VecType, vecof(vt("T"))]) )), Atom(Let) => Ok(LetType), + Atom(Print) => Ok(arr(vt("_"), List(vec![]))), SCons(op, l) => { |