Mercurial > urweb
comparison src/elab.sml @ 1302:d008c4c43a0a
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 |