Mercurial > urweb

comparison src/source.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 dd82457fda82
children f4033abd6ab1
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 | KWild 39 | KWild
39 40
40 withtype kind = kind' located 41 withtype kind = kind' located
41 42
42 datatype explicitness = 43 datatype explicitness =
61 | CRecord of (con * con) list 62 | CRecord of (con * con) list
62 | CConcat of con * con 63 | CConcat of con * con
63 | CFold 64 | CFold
64 65
65 | CUnit 66 | CUnit
67
68 | CTuple of con list
69 | CProj of con * int
66 70
67 | CWild of kind 71 | CWild of kind
68 72
69 withtype con = con' located 73 withtype con = con' located
70 74