From 3604e9e94b766147b482c4c653c4d09bb4ee7a7c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 4 Apr 2018 15:03:45 +0100
Subject: Add generic prelude library that pulls in various basic sail
 definitions from sail/lib.

---
 test/typecheck/pass/dec_prelude.sail | 3 +++
 test/typecheck/pass/inc_prelude.sail | 3 +++
 2 files changed, 6 insertions(+)
 create mode 100644 test/typecheck/pass/dec_prelude.sail
 create mode 100644 test/typecheck/pass/inc_prelude.sail

(limited to 'test')

diff --git a/test/typecheck/pass/dec_prelude.sail b/test/typecheck/pass/dec_prelude.sail
new file mode 100644
index 00000000..f1f574c0
--- /dev/null
+++ b/test/typecheck/pass/dec_prelude.sail
@@ -0,0 +1,3 @@
+default Order dec
+
+$include <prelude.sail>
diff --git a/test/typecheck/pass/inc_prelude.sail b/test/typecheck/pass/inc_prelude.sail
new file mode 100644
index 00000000..e69d96a2
--- /dev/null
+++ b/test/typecheck/pass/inc_prelude.sail
@@ -0,0 +1,3 @@
+default Order inc
+
+$include <prelude.sail>
-- 
cgit v1.2.3