Mercurial > urweb

comparison src/mono_print.sml @ 273:09c66a30ef32

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Table declarations pushed to Cjr
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 13:09:54 -0400
parents 42dfb0d61cf0
children c0e4ac23522d
comparison
equal deleted inserted replaced
272:4d80d6122df1 273:09c66a30ef32
311 p_list_sep (string "") (fn t => box [space, 311 p_list_sep (string "") (fn t => box [space,
312 string "(", 312 string "(",
313 p_typ env t, 313 p_typ env t,
314 string ")"]) ts] 314 string ")"]) ts]
315 315
316 | DTable (s, xts) => box [string "(* SQL table ",
317 string s,
318 space,
319 string ":",
320 space,
321 p_list (fn (x, t) => box [string x,
322 space,
323 string ":",
324 space,
325 p_typ env t]) xts,
326 space,
327 string "*)"]
316 | DDatabase s => box [string "database", 328 | DDatabase s => box [string "database",
317 space, 329 space,
318 string s] 330 string s]
319 331
320 fun p_file env file = 332 fun p_file env file =