Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
206:cb8493759a7b | 207:cc68da3801bc |
---|---|
33 KType | 33 KType |
34 | KArrow of kind * kind | 34 | KArrow of kind * kind |
35 | KName | 35 | KName |
36 | KRecord of kind | 36 | KRecord of kind |
37 | KUnit | 37 | KUnit |
38 | KTuple of kind list | |
38 | 39 |
39 | KError | 40 | KError |
40 | KUnif of ErrorMsg.span * string * kind option ref | 41 | KUnif of ErrorMsg.span * string * kind option ref |
41 | 42 |
42 withtype kind = kind' located | 43 withtype kind = kind' located |
63 | CRecord of kind * (con * con) list | 64 | CRecord of kind * (con * con) list |
64 | CConcat of con * con | 65 | CConcat of con * con |
65 | CFold of kind * kind | 66 | CFold of kind * kind |
66 | 67 |
67 | CUnit | 68 | CUnit |
69 | |
70 | CTuple of con list | |
71 | CProj of con * int | |
68 | 72 |
69 | CError | 73 | CError |
70 | CUnif of ErrorMsg.span * kind * string * con option ref | 74 | CUnif of ErrorMsg.span * kind * string * con option ref |
71 | 75 |
72 withtype con = con' located | 76 withtype con = con' located |