Mercurial > urweb
diff src/cjr_print.sml @ 1869:16b08de04f05
Detect more SQL uses without 'database' directive
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 30 Sep 2013 16:37:37 -0400 |
parents | e6ff36097cc4 |
children | 0354df1b6849 |
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