diff options
| author | JJ | 2023-04-13 01:30:35 +0000 |
|---|---|---|
| committer | JJ | 2023-04-13 01:30:35 +0000 |
| commit | 56f47bb2e5816de7630569a8825914d0620983cc (patch) | |
| tree | cf413d589a389d3ddd8f9a9321aed7cb7d30c215 /src/util.rs | |
| parent | fb1c4cd2b8e2efe4b03e8c93f2a69d712a96aff7 (diff) | |
subtyping wip
Diffstat (limited to 'src/util.rs')
| -rw-r--r-- | src/util.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util.rs b/src/util.rs index b2b3035..68a8a19 100644 --- a/src/util.rs +++ b/src/util.rs @@ -66,6 +66,7 @@ pub fn Func(from: Type, to: Type) -> Type { } pub const Empty: Type = Type::Empty; +pub const Error: Type = Type::Empty; pub const Unit: Type = Type::Unit; pub const Bool: Type = Type::Boolean; pub const Nat: Type = Type::Natural; |