Mercurial > urweb
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 |