comparison src/mono_print.sml @ 683:9a2c18dab11d

Expunging non-nullable rows
author Adam Chlipala <adamc@hcoop.net>
date Sun, 29 Mar 2009 13:30:01 -0400
parents f73913d97a40
children a3ddf05fb3e3
comparison
equal deleted inserted replaced
682:5bbb542243e8 683:9a2c18dab11d
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 => box [string "database", 416 | DDatabase (s, n) => box [string "database",
417 space, 417 space,
418 string s] 418 string s,
419 space,
420 string "(",
421 p_enamed env n,
422 string ")"]
419 | DJavaScript s => box [string "JavaScript(", 423 | DJavaScript s => box [string "JavaScript(",
420 string s, 424 string s,
421 string ")"] 425 string ")"]
422 426
423 427