Mercurial > urweb

comparison src/mono_print.sml @ 1214:648e6b087dfb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Change query_policy to sendClient; all arguments passed to SQL predicates are variables
author Adam Chlipala <adamc@hcoop.net>
date Thu, 08 Apr 2010 09:57:37 -0400
parents c316ca3c9ec6
children 526575a9537a
comparison
equal deleted inserted replaced
1213:e791d93d4616 1214:648e6b087dfb
412 cons] 412 cons]
413 end 413 end
414 414
415 fun p_policy env pol = 415 fun p_policy env pol =
416 case pol of 416 case pol of
417 PolQuery e => box [string "query", 417 PolClient e => box [string "sendClient",
418 space, 418 space,
419 p_exp env e] 419 p_exp env e]
420 420
421 fun p_decl env (dAll as (d, _) : decl) = 421 fun p_decl env (dAll as (d, _) : decl) =
422 case d of 422 case d of
423 DDatatype x => box [string "datatype", 423 DDatatype x => box [string "datatype",
424 space, 424 space,