Mercurial > urweb

comparison 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
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