Mercurial > urweb

comparison src/mono_print.sml @ 1220:526575a9537a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Insert policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 10:57:52 -0400
parents 648e6b087dfb
children 00e628854005
comparison
equal deleted inserted replaced
1219:3224faec752d 1220:526575a9537a
415 fun p_policy env pol = 415 fun p_policy env pol =
416 case pol of 416 case pol of
417 PolClient e => box [string "sendClient", 417 PolClient e => box [string "sendClient",
418 space, 418 space,
419 p_exp env e] 419 p_exp env e]
420 | PolInsert e => box [string "mayInsert",
421 space,
422 p_exp env e]
420 423
421 fun p_decl env (dAll as (d, _) : decl) = 424 fun p_decl env (dAll as (d, _) : decl) =
422 case d of 425 case d of
423 DDatatype x => box [string "datatype", 426 DDatatype x => box [string "datatype",
424 space, 427 space,