diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-14 16:07:46 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-14 17:28:04 +0300 |
| commit | e85dae567589181959683f78a783b6a81fb3d01f (patch) | |
| tree | 9c5831c4429b2458936cbb9122f4a954543672f0 /src/type/mod.rs | |
| parent | 540a84fb9288699b534e98c8c5d0e649aaa1c2ba (diff) | |
| download | myslip-e85dae567589181959683f78a783b6a81fb3d01f.tar.gz myslip-e85dae567589181959683f78a783b6a81fb3d01f.zip | |
test: stricter generic checking tests added for Type::aka and Type::into_type
Diffstat (limited to 'src/type/mod.rs')
| -rw-r--r-- | src/type/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/type/mod.rs b/src/type/mod.rs index 06b73ac..bfe0055 100644 --- a/src/type/mod.rs +++ b/src/type/mod.rs @@ -46,7 +46,7 @@ pub enum TypeError { UndefinedVariable(String), - UnboundGeneric(String), + UnboundGeneric(String, Type), InvalidOperator { operator: SExp, |