Mercurial > urweb

comparison src/elab.sml @ 76:522f4bd3955e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Broaden unification context
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Jun 2008 10:39:43 -0400
parents 6431b315a1e3
children b4f2a258e52c
comparison
equal deleted inserted replaced
75:88ffb3d61817 76:522f4bd3955e
34 | KArrow of kind * kind 34 | KArrow of kind * kind
35 | KName 35 | KName
36 | KRecord of kind 36 | KRecord of kind
37 37
38 | KError 38 | KError
39 | KUnif of string * kind option ref 39 | KUnif of ErrorMsg.span * string * kind option ref
40 40
41 withtype kind = kind' located 41 withtype kind = kind' located
42 42
43 datatype explicitness = 43 datatype explicitness =
44 Explicit 44 Explicit
60 | CRecord of kind * (con * con) list 60 | CRecord of kind * (con * con) list
61 | CConcat of con * con 61 | CConcat of con * con
62 | CFold of kind * kind 62 | CFold of kind * kind
63 63
64 | CError 64 | CError
65 | CUnif of kind * string * con option ref 65 | CUnif of ErrorMsg.span * kind * string * con option ref
66 66
67 withtype con = con' located 67 withtype con = con' located
68 68
69 datatype exp' = 69 datatype exp' =
70 EPrim of Prim.t 70 EPrim of Prim.t