2 files changed, 20 insertions, 0 deletions
diff --git a/test/c/tl_pat.expect b/test/c/tl_pat.expect
new file mode 100644
index 00000000..e1fd55b4
--- /dev/null
+++ b/test/c/tl_pat.expect
@@ -0,0 +1,2 @@
+Hello, World
+Test
diff --git a/test/c/tl_pat.sail b/test/c/tl_pat.sail
new file mode 100644
index 00000000..1f535e92
--- /dev/null
+++ b/test/c/tl_pat.sail
@@ -0,0 +1,18 @@
+default Order dec
+
+val print = "print_endline" : string -> unit
+
+newtype X = X : string
+
+val f : X -> string
+
+function f X(str) = {
+  print(str);
+  "Test"
+}
+
+val main : unit -> unit
+
+function main () = {
+  print(f(X("Hello, World")));
+}
+\ No newline at end of file