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/option.ur | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 tests/option.ur (limited to 'tests/option.ur') diff --git a/tests/option.ur b/tests/option.ur new file mode 100644 index 00000000..76fcc6ea --- /dev/null +++ b/tests/option.ur @@ -0,0 +1,25 @@ +datatype option a = None | Some of a + +val none_Hi : option string = None +val some_Hi = Some "Hi" +val none_some_Hi : option (option string) = None +val some_some_Hi = Some some_Hi + +val show = fn x => case x of None => "None" | Some x => x + +val show2 = fn x => case x of None => "None'" | Some x => show x + +val page = fn x => + {cdata (show x)} + + +val page2 = fn x => + {cdata (show2 x)} + + +val main : unit -> page = fn () => +
  • None1
    • +
  • Some1
    • +
  • None2
    • +
  • Some2
    • + -- cgit v1.2.3