Mercurial > urweb

comparison src/mono_print.sml @ 129:78d59cf0a0cc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compiled (non-mutual) 'val rec'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 11:02:10 -0400
parents 76a4d69719d8
children f0d3402184d1
comparison
equal deleted inserted replaced
128:b04f7422c832 129:78d59cf0a0cc
181 | DExport (s, n, ts) => box [string "export", 181 | DExport (s, n, ts) => box [string "export",
182 space, 182 space,
183 p_enamed env n, 183 p_enamed env n,
184 space, 184 space,
185 string "as", 185 string "as",
186 space,
186 string s, 187 string s,
187 p_list_sep (string "") (fn t => box [space, 188 p_list_sep (string "") (fn t => box [space,
188 string "(", 189 string "(",
189 p_typ env t, 190 p_typ env t,
190 string ")"]) ts] 191 string ")"]) ts]