summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-09-30 16:37:37 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2013-09-30 16:37:37 -0400
commitf9cecf4b691e81f720fa1363c0a4b03b4b799ae8 (patch)
treef2064e560a16e4fc24f17a08824b4a78c59d29df
parent71cc64ad35debb1950827e4be6c6a3d5cfc216fc (diff)
Detect more SQL uses without 'database' directive
-rw-r--r--src/cjr_print.sml1
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