Mercurial > urweb

changeset 1869:16b08de04f05

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Detect more SQL uses without 'database' directive
author Adam Chlipala <adam@chlipala.net>
date Mon, 30 Sep 2013 16:37:37 -0400
parents d6b0ee53dc93
children 434921f54f54
files src/cjr_print.sml
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/cjr_print.sml	Thu Sep 26 16:22:06 2013 -0400
+++ b/src/cjr_print.sml	Mon Sep 30 16:37:37 2013 -0400
@@ -3184,6 +3184,7 @@
                 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