diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-12-04 09:19:55 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-12-04 09:19:55 -0500 |
| commit | 2bca6e48c0ea8043c5300f4ebdefa5167e6472bf (patch) | |
| tree | 1c61579ca6a1e1b8e8cbe309302c33857b191181 /src/mono_print.sml | |
| parent | 73c287964e8d41d9b3b53a81f0ace3f509dc6a20 (diff) | |
SQL SIMILAR (via pg_trgm)
Diffstat (limited to 'src/mono_print.sml')
| -rw-r--r-- | src/mono_print.sml | 21 |
1 files changed, 11 insertions, 10 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml index a3b55ec0..1114a4f0 100644 --- a/src/mono_print.sml +++ b/src/mono_print.sml @@ -509,16 +509,17 @@ fun p_decl env (dAll as (d, _) : decl) = space, p_exp env e, string "*)"] - | DDatabase {name, expunge, initialize} => box [string "database", - space, - string name, - space, - string "(", - p_enamed env expunge, - string ",", - space, - p_enamed env initialize, - string ")"] + | DDatabase {name, expunge, initialize, ...} => + box [string "database", + space, + string name, + space, + string "(", + p_enamed env expunge, + string ",", + space, + p_enamed env initialize, + string ")"] | DJavaScript s => box [string "JavaScript(", string s, string ")"] |