comparison tests/pcase.lac @ 173:8221b95cc24c
Patterns for int and string constants
| author |
Adam Chlipala <adamc@hcoop.net> |
| date |
Thu, 31 Jul 2008 10:44:52 -0400 |
| parents |
|
| children |
|
comparison
equal
deleted
inserted
replaced
| |
1 val flip = fn x : int => case x of 0 => 1 | _ => 0 |
| |
2 |
| |
3 val zero = flip 1 |
| |
4 val one = flip 0 |
| |
5 |
| |
6 val flipS = fn x : string => case x of "" => "Hello world!" | _ => "" |
| |
7 |
| |
8 val s1 = flipS "" |
| |
9 val s2 = flipS "Boop" |
