Mercurial > urweb

comparison src/core.sml @ 214:766b5475477f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corifying con-tuples
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 15:03:05 -0400
parents 9bbf4d383381
children 5c50b17f5e4a
comparison
equal deleted inserted replaced
213:0343557355fc 214:766b5475477f
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 withtype kind = kind' located 40 withtype kind = kind' located
40 41
41 datatype con' = 42 datatype con' =
42 TFun of con * con 43 TFun of con * con
54 | CRecord of kind * (con * con) list 55 | CRecord of kind * (con * con) list
55 | CConcat of con * con 56 | CConcat of con * con
56 | CFold of kind * kind 57 | CFold of kind * kind
57 58
58 | CUnit 59 | CUnit
60
61 | CTuple of con list
62 | CProj of con * int
59 63
60 withtype con = con' located 64 withtype con = con' located
61 65
62 datatype datatype_kind = datatype Elab.datatype_kind 66 datatype datatype_kind = datatype Elab.datatype_kind
63 67