2 files changed, 17 insertions, 0 deletions
diff --git a/test/mono/mapping.sail b/test/mono/mapping.sail
new file mode 100644
index 00000000..ecc06b0b
--- /dev/null
+++ b/test/mono/mapping.sail
@@ -0,0 +1,16 @@
+$include <flow.sail>
+
+/* Trivial example with mapping that doesn't really need monomorphised */
+
+enum foo = {A,B}
+
+mapping map_foo : foo <-> bool = {
+  A <-> true,
+  B <-> false
+}
+
+val run : unit -> unit effect {escape}
+
+function run() = {
+  assert(map_foo(A))
+}
+\ No newline at end of file
diff --git a/test/mono/pass/mapping b/test/mono/pass/mapping
new file mode 100644
index 00000000..3a95be81
--- /dev/null
+++ b/test/mono/pass/mapping
@@ -0,0 +1 @@
+mapping.sail -auto_mono
+\ No newline at end of file