comparison src/mono_print.sml @ 687:a3ddf05fb3e3

On start-up, delete/nullify rows mentioning clients or channels
author Adam Chlipala <adamc@hcoop.net>
date Thu, 02 Apr 2009 11:42:26 -0400
parents 9a2c18dab11d
children 500e93aa436f
comparison
equal deleted inserted replaced
686:3b46548f701b 687:a3ddf05fb3e3
411 space, 411 space,
412 string "*)"] 412 string "*)"]
413 | DSequence s => box [string "(* SQL sequence ", 413 | DSequence s => box [string "(* SQL sequence ",
414 string s, 414 string s,
415 string "*)"] 415 string "*)"]
416 | DDatabase (s, n) => box [string "database", 416 | DDatabase {name, expunge, initialize} => box [string "database",
417 space, 417 space,
418 string s, 418 string name,
419 space, 419 space,
420 string "(", 420 string "(",
421 p_enamed env n, 421 p_enamed env expunge,
422 string ")"] 422 string ",",
423 space,
424 p_enamed env initialize,
425 string ")"]
423 | DJavaScript s => box [string "JavaScript(", 426 | DJavaScript s => box [string "JavaScript(",
424 string s, 427 string s,
425 string ")"] 428 string ")"]
426 429
427 430