diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-09 21:18:48 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-09 21:18:48 +0300 |
| commit | 8062ed87d30fa7628f26cfd7bb94bb0e7401752b (patch) | |
| tree | 706bf5e34678622111a23c7045f667c1acbe7c6d /src/type/display.rs | |
| parent | 3e1bf7f9946efe70d452c71494ac77ed39110804 (diff) | |
| download | myslip-8062ed87d30fa7628f26cfd7bb94bb0e7401752b.tar.gz myslip-8062ed87d30fa7628f26cfd7bb94bb0e7401752b.zip | |
Revert adding of print (its behavior was poorly designed).
This reverts commit 3e1bf7f9946efe70d452c71494ac77ed39110804.
Diffstat (limited to 'src/type/display.rs')
| -rw-r--r-- | src/type/display.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/type/display.rs b/src/type/display.rs index f859dc3..4a9b54a 100644 --- a/src/type/display.rs +++ b/src/type/display.rs @@ -67,8 +67,8 @@ impl fmt::Display for TypeError { /// "invalid argument list: '(1 2 3)'\nexpected: '(Int Int)'\nfound: '(Int Int Int)'".to_string() /// ); /// assert_eq!( - /// UnboundGeneric(arr(Integer, vt("?")), String::from("?")).to_string(), - /// "unbound generic type in '(Int -> ?)': '?'".to_string() + /// UnboundGeneric(String::from("?")).to_string(), + /// "unbound generic type: '?'".to_string() /// ); /// assert_eq!( /// ArgumentsDontMatchGeneric { @@ -80,8 +80,8 @@ impl fmt::Display for TypeError { /// ``` fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { match self { - UndefinedVariable(name) => write!(f, "undefined variable: '{}'", name), - UnboundGeneric(ty, name) => write!(f, "unbound generic type in '{}': '{}'", ty, name), + UndefinedVariable(name) => write!(f, "undefined variable: '{}'", name), + UnboundGeneric(name) => write!(f, "unbound generic type: '{}'", name), InvalidOperator { operator, expected, found } => { write!( f, |