Mercurial > urweb

comparison src/expl.sml @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents f0f59e918cac
children 541282b81454
comparison
equal deleted inserted replaced
108:f59553dc1b6a 109:813e5a52063d
71 71
72 | ERecord of (con * exp * con) list 72 | ERecord of (con * exp * con) list
73 | EField of exp * con * { field : con, rest : con } 73 | EField of exp * con * { field : con, rest : con }
74 | EFold of kind 74 | EFold of kind
75 75
76 | EWrite of exp
77
76 withtype exp = exp' located 78 withtype exp = exp' located
77 79
78 datatype sgn_item' = 80 datatype sgn_item' =
79 SgiConAbs of string * int * kind 81 SgiConAbs of string * int * kind
80 | SgiCon of string * int * kind * con 82 | SgiCon of string * int * kind * con
96 DCon of string * int * kind * con 98 DCon of string * int * kind * con
97 | DVal of string * int * con * exp 99 | DVal of string * int * con * exp
98 | DSgn of string * int * sgn 100 | DSgn of string * int * sgn
99 | DStr of string * int * sgn * str 101 | DStr of string * int * sgn * str
100 | DFfiStr of string * int * sgn 102 | DFfiStr of string * int * sgn
101 | DPage of con * exp 103 | DExport of int * sgn * str
102 104
103 and str' = 105 and str' =
104 StrConst of decl list 106 StrConst of decl list
105 | StrVar of int 107 | StrVar of int
106 | StrProj of str * string 108 | StrProj of str * string