diff options
| author | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-05 15:12:27 +0300 |
|---|---|---|
| committer | Joel Kronqvist <joel.kronqvist@iki.fi> | 2025-08-05 15:12:27 +0300 |
| commit | 1e712e91edea0735c5eb440af26ac6d4454e70a9 (patch) | |
| tree | f03b4afb90bb4e36e825814a4fddec253994b7b3 /src/type/util.rs | |
| parent | 7be78efb6c56c04b8a96b3f4f7f6cf810da04dbf (diff) | |
| download | myslip-1e712e91edea0735c5eb440af26ac6d4454e70a9.tar.gz myslip-1e712e91edea0735c5eb440af26ac6d4454e70a9.zip | |
Fix: quote is not a typewise identity function. Added vt(&str) as util for VarType(String).
Diffstat (limited to 'src/type/util.rs')
| -rw-r--r-- | src/type/util.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/type/util.rs b/src/type/util.rs index 27fc661..9be8c6e 100644 --- a/src/type/util.rs +++ b/src/type/util.rs @@ -5,3 +5,7 @@ pub fn arr(a: impl Into<Box<Type>>, b: impl Into<Box<Type>>) -> Type { Arrow(a.into(), b.into()) } +pub fn vt(name: &str) -> Type { + VarType(name.to_string()) +} + |