comparison src/cjr_print.sml @ 376:6fd102fa28f9

Simple generation of persistent paths
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 11:11:49 -0400
parents e976b187d73a
children 78358e5df273
comparison
equal deleted inserted replaced
375:d3de57ce4bca 376:6fd102fa28f9
1996 newline, 1996 newline,
1997 string "}", 1997 string "}",
1998 newline, 1998 newline,
1999 newline, 1999 newline,
2000 validate, 2000 validate,
2001 newline] 2001 newline,
2002 if List.exists (fn (DDatabase _, _) => true | _ => false) ds then
2003 box []
2004 else
2005 box [newline,
2006 string "void uw_db_init(uw_context ctx) { };",
2007 newline]]
2002 end 2008 end
2003 2009
2004 fun p_sql env (ds, _) = 2010 fun p_sql env (ds, _) =
2005 let 2011 let
2006 val (pps, _) = ListUtil.foldlMap 2012 val (pps, _) = ListUtil.foldlMap