From 447b60afccc89ef18d8f92a260dd1fcdf735898e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 31 Aug 2008 08:32:18 -0400 Subject: Laconic -> Ur --- tests/ctuple.ur | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 tests/ctuple.ur (limited to 'tests/ctuple.ur') diff --git a/tests/ctuple.ur b/tests/ctuple.ur new file mode 100644 index 00000000..68c1301f --- /dev/null +++ b/tests/ctuple.ur @@ -0,0 +1,9 @@ +val page = fn p :: (Type * Type) => fn f : p.1 -> string => fn x : p.1 => + {cdata (f x)} + + +val page_string = page [(string, int)] (fn x => x) + +val main : unit -> page = fn () => + Hi + -- cgit v1.2.3