From ae4ee8c9ffbce7917c2be0e9a9063a14ea230f06 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Tue, 21 Apr 2026 14:01:59 +0100
Subject: Init

---
 src/checker.rs | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 src/checker.rs

(limited to 'src/checker.rs')

diff --git a/src/checker.rs b/src/checker.rs
new file mode 100644
index 0000000..ea099ab
--- /dev/null
+++ b/src/checker.rs
@@ -0,0 +1,7 @@
+use crate::parser::*;
+
+pub enum CheckError {
+    Unbound(String),
+    DuplicateField(String),
+    ExpectedTypeFoundTerm(String),
+}
-- 
cgit v1.3.1