Mercurial > urweb
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 |