Mercurial > urweb

comparison src/expl.sml @ 213:0343557355fc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explifying type classes
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 14:45:23 -0400
parents aa54250f58ac
children 3aa010e97db9
comparison
equal deleted inserted replaced
212:ba4d7c33a45f 213:0343557355fc
32 datatype kind' = 32 datatype kind' =
33 KType 33 KType
34 | KArrow of kind * kind 34 | KArrow of kind * kind
35 | KName 35 | KName
36 | KUnit 36 | KUnit
37 | KTuple of kind list
37 | KRecord of kind 38 | KRecord of kind
38 39
39 withtype kind = kind' located 40 withtype kind = kind' located
40 41
41 datatype con' = 42 datatype 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