From 93ac9f1762771d601c2b9eed9014ff471093358b Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 22 Jan 2019 18:35:50 +0000
Subject: Add some more test cases

---
 test/c/nonexistent_pragma.sail | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 test/c/nonexistent_pragma.sail

(limited to 'test/c/nonexistent_pragma.sail')

diff --git a/test/c/nonexistent_pragma.sail b/test/c/nonexistent_pragma.sail
new file mode 100644
index 00000000..da4b99f7
--- /dev/null
+++ b/test/c/nonexistent_pragma.sail
@@ -0,0 +1,12 @@
+default Order dec
+
+$include <prelude.sail>
+
+$not_a_valid_pragma test
+
+val "print_endline" : string -> unit
+
+function main((): unit) -> unit = {
+  print_endline("test")
+}
+
-- 
cgit v1.2.3