diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-18 23:39:47 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-18 23:39:47 +0300 |
| commit | d4d6e972650370d529363f7db3946e58bdbd7bca (patch) | |
| tree | afea437941d0baf701f768b246ecf0af5e0b427a /src/type | |
| parent | fffe2d4405885194c5f584755ed4f02de1027558 (diff) | |
| download | myslip-d4d6e972650370d529363f7db3946e58bdbd7bca.tar.gz myslip-d4d6e972650370d529363f7db3946e58bdbd7bca.zip | |
doc: added exercise 1
Diffstat (limited to 'src/type')
| -rw-r--r-- | src/type/check.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type/check.rs b/src/type/check.rs index 6d54570..c0f4b1f 100644 --- a/src/type/check.rs +++ b/src/type/check.rs @@ -261,7 +261,7 @@ impl SExp { List(vec![VecType, vecof(vt("T"))]) )), Atom(Let) => Ok(LetType), - Atom(Print) => Ok(arr(vt("_"), List(vec![]))), + Atom(Print) => Ok(arr(vt("_"), NilType)), Atom(Ty(_)) => Ok(TypeLit), Atom(Fun) => Err(FunAsAtom), Atom(Fix) => Ok(arr(arr(vt("T"), vt("T")), vt("T"))), |