Mercurial > urweb
annotate tests/pcase.lac @ 198:ab86aa858e6c
'Option' datatype encoding
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 09 Aug 2008 19:23:31 -0400 |
| parents | 8221b95cc24c |
| children |
| rev | line source |
|---|---|
| adamc@173 | 1 val flip = fn x : int => case x of 0 => 1 | _ => 0 |
| adamc@173 | 2 |
| adamc@173 | 3 val zero = flip 1 |
| adamc@173 | 4 val one = flip 0 |
| adamc@173 | 5 |
| adamc@173 | 6 val flipS = fn x : string => case x of "" => "Hello world!" | _ => "" |
| adamc@173 | 7 |
| adamc@173 | 8 val s1 = flipS "" |
| adamc@173 | 9 val s2 = flipS "Boop" |