Mercurial > urweb

comparison src/elab.sml @ 1302:d008c4c43a0a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Flex kinds for type-level tuples; ::_ notation
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 13:07:38 -0400
parents b4480a56cab7
children c7b9a33c26c8
comparison
equal deleted inserted replaced
1301:4359e185d3af 1302:d008c4c43a0a
37 | KUnit 37 | KUnit
38 | KTuple of kind list 38 | KTuple of kind list
39 39
40 | KError 40 | KError
41 | KUnif of ErrorMsg.span * string * kind option ref 41 | KUnif of ErrorMsg.span * string * kind option ref
42 | KTupleUnif of ErrorMsg.span * (int * kind) list * kind option ref
42 43
43 | KRel of int 44 | KRel of int
44 | KFun of string * kind 45 | KFun of string * kind
45 46
46 withtype kind = kind' located 47 withtype kind = kind' located