Mercurial > urweb
diff src/elab.sml @ 207:cc68da3801bc
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