diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-09-30 16:37:37 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-09-30 16:37:37 -0400 |
| commit | f9cecf4b691e81f720fa1363c0a4b03b4b799ae8 (patch) | |
| tree | f2064e560a16e4fc24f17a08824b4a78c59d29df | |
| parent | 71cc64ad35debb1950827e4be6c6a3d5cfc216fc (diff) | |
Detect more SQL uses without 'database' directive
| -rw-r--r-- | src/cjr_print.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 33980f69..d2f77a36 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -3184,6 +3184,7 @@ fun p_file env (ds, ps) = DVal (_, _, _, e) => expDb e | DFun (_, _, _, _, e) => expDb e | DFunRec vis => List.exists (expDb o #5) vis + | DTask (_, _, _, e) => expDb e | _ => false val () = if not hasDb andalso List.exists declDb ds then |