diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-13 01:20:19 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-13 01:20:19 +0300 |
| commit | 189d06730ae23770fbb970bf37eb0993edb8cd2d (patch) | |
| tree | 73048265c57176ba27d2b823e09ebe4c1c7328c1 /src/type/display.rs | |
| parent | ec13c45c8ae0f63fa715178308547cfadd8f8c39 (diff) | |
| download | myslip-189d06730ae23770fbb970bf37eb0993edb8cd2d.tar.gz myslip-189d06730ae23770fbb970bf37eb0993edb8cd2d.zip | |
feat: generic match arms, mostly for functions I guess?
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 290e24e..56b22b6 100644 --- a/src/type/display.rs +++ b/src/type/display.rs @@ -122,6 +122,7 @@ impl fmt::Display for TypeError { letexp ) }, + DifferentTypeCaseArms(ty1, ty2) => write!(f, "arms of match have different types, '{ty1}' and '{ty2}'"), FunAsAtom => write!(f, "'fn' used as atom doesn't make sense"), CaseAsAtom => write!(f, "'case' used as atom doesn't make sense"), RestAsAtom => write!(f, "'..[name]' used as atom doesn't make sense"), |