diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-05 18:07:50 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-05 18:07:50 +0300 |
| commit | d64165e9e6af92bfe350e5d2cc46545b28dbb5c0 (patch) | |
| tree | d7a6abb03a83ad08194b94db7b82a6c5f32b4819 /src/type/display.rs | |
| parent | 1e712e91edea0735c5eb440af26ac6d4454e70a9 (diff) | |
| download | myslip-d64165e9e6af92bfe350e5d2cc46545b28dbb5c0.tar.gz myslip-d64165e9e6af92bfe350e5d2cc46545b28dbb5c0.zip | |
Added vectors and tests for their evaluation and typing
Diffstat (limited to 'src/type/display.rs')
| -rw-r--r-- | src/type/display.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/type/display.rs b/src/type/display.rs index 8eb0647..6c3177a 100644 --- a/src/type/display.rs +++ b/src/type/display.rs @@ -20,6 +20,7 @@ impl fmt::Display for Type { Integer => write!(f, "{}", "Int"), Boolean => write!(f, "{}", "Bool"), QuoteTy => write!(f, "{}", "Quote"), + VecOf(ty) => write!(f, "({} ... {})", *ty, *ty), Arrow(a, b) => write!(f, "({} -> {})", a, b), List(types) => write!( f, |