2 files changed, 11 insertions, 0 deletions
diff --git a/demo/listFun.ur b/demo/listFun.ur
new file mode 100644
index 00000000..7a3459aa
--- /dev/null
+++ b/demo/listFun.ur
@@ -0,0 +1,5 @@
+functor Make(M : sig
+                 type t
+             end) = struct
+    val x = 6
+end
diff --git a/demo/listFun.urs b/demo/listFun.urs
new file mode 100644
index 00000000..ce4acafc
--- /dev/null
+++ b/demo/listFun.urs
@@ -0,0 +1,6 @@
+functor Make(M : sig
+                 type t
+             end) : sig
+    val main : unit -> transaction page
+end
+