Mercurial > urweb

comparison src/source.sml @ 18:9a578171de9e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Unification wildcards
author Adam Chlipala <adamc@hcoop.net>
date Sun, 08 Jun 2008 14:25:27 -0400
parents f1c36df29ed7
children e6ccf961d8a3
comparison
equal deleted inserted replaced
17:9bd8669d53c2 18:9a578171de9e
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 | KRecord of kind 36 | KRecord of kind
37 | KWild
37 38
38 withtype kind = kind' located 39 withtype kind = kind' located
39 40
40 datatype explicitness = 41 datatype explicitness =
41 Explicit 42 Explicit
54 55
55 | CName of string 56 | CName of string
56 57
57 | CRecord of (con * con) list 58 | CRecord of (con * con) list
58 | CConcat of con * con 59 | CConcat of con * con
60
61 | CWild of kind
59 62
60 withtype con = con' located 63 withtype con = con' located
61 64
62 datatype exp' = 65 datatype exp' =
63 EAnnot of exp * con 66 EAnnot of exp * con