Mercurial > urweb

diff src/elab.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 cb8f69556975
children e86411f647c6
line wrap: on
line diff
--- a/src/elab.sml	Thu Aug 14 15:27:35 2008 -0400
+++ b/src/elab.sml	Thu Aug 14 18:35:08 2008 -0400
@@ -35,6 +35,7 @@
        | KName
        | KRecord of kind
        | KUnit
+       | KTuple of kind list
 
        | KError
        | KUnif of ErrorMsg.span * string * kind option ref
@@ -66,6 +67,9 @@
 
        | CUnit
 
+       | CTuple of con list
+       | CProj of con * int
+
        | CError
        | CUnif of ErrorMsg.span * kind * string * con option ref