Mercurial > urweb

diff tests/case.lac @ 170:a158f8c5aa55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing basic patterns
author Adam Chlipala <adamc@hcoop.net>
date Tue, 29 Jul 2008 16:38:15 -0400
parents
children c7a6e6dbc318
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tests/case.lac	Tue Jul 29 16:38:15 2008 -0400
@@ -0,0 +1,12 @@
+datatype t = A | B
+
+val swap = fn x : t => case x of A => B | B => A
+
+datatype u = C of t | D
+
+val out = fn x : u => case x of C y => y | D => A
+
+datatype nat = O | S of nat
+
+val is_two = fn x : int_list =>
+        case x of S (S O) => A | _ => B