Mercurial > urweb

comparison tests/datatype.lac @ 156:34ccd7d2bea8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of datatype support
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Jul 2008 15:02:03 -0400
parents
children
comparison
equal deleted inserted replaced
155:4334bb734187 156:34ccd7d2bea8
1 datatype t = A | B
2
3 val a = A
4 val b = B
5
6 datatype foo = C of t
7
8 val c = C a
9
10 datatype list = Nil | Cons of {Head : int, Tail : list}
11
12 val nil = Nil
13 val l1 = Cons {Head = 0, Tail = nil}