From cd25fe0560f746bedad0d16c173deeaa8db6b562 Mon Sep 17 00:00:00 2001
From: "Alejandro W. Sior" <aho@sior.be>
Date: Fri, 10 Feb 2023 19:24:23 +0100
Subject: initial commit

---
 bfs/errors.ha | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 bfs/errors.ha

(limited to 'bfs/errors.ha')

diff --git a/bfs/errors.ha b/bfs/errors.ha
new file mode 100644
index 0000000..fa5efed
--- /dev/null
+++ b/bfs/errors.ha
@@ -0,0 +1,6 @@
+// Device has no BFS bootsector signature
+export type nosignature = !void;
+
+export type filehole = !void;
+
+export type error = !(nosignature | filehole);
-- 
cgit v1.2.3