diff options
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; |