From 56f47bb2e5816de7630569a8825914d0620983cc Mon Sep 17 00:00:00 2001
From: JJ
Date: Wed, 12 Apr 2023 18:30:35 -0700
Subject: subtyping wip

---
 src/util.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/util.rs')

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;
-- 
cgit v1.2.3-70-g09d2