Mercurial > urweb

diff src/source.sml @ 207:cc68da3801bc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Non-star SELECT
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 Aug 2008 18:35:08 -0400
parents dd82457fda82
children f4033abd6ab1
line wrap: on
line diff
--- a/src/source.sml	Thu Aug 14 15:27:35 2008 -0400
+++ b/src/source.sml	Thu Aug 14 18:35:08 2008 -0400
@@ -35,6 +35,7 @@
        | KName
        | KRecord of kind
        | KUnit
+       | KTuple of kind list
        | KWild
 
 withtype kind = kind' located
@@ -64,6 +65,9 @@
 
        | CUnit
 
+       | CTuple of con list
+       | CProj of con * int
+
        | CWild of kind
 
 withtype con = con' located