Mercurial > urweb

comparison src/mono_print.sml @ 1223:62af4cacd191

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 13:11:25 -0400
parents 00e628854005
children a2cd6664f57f
comparison
equal deleted inserted replaced
1222:117f13bdc1fd 1223:62af4cacd191
421 space, 421 space,
422 p_exp env e] 422 p_exp env e]
423 | PolDelete e => box [string "mayDelete", 423 | PolDelete e => box [string "mayDelete",
424 space, 424 space,
425 p_exp env e] 425 p_exp env e]
426 | PolUpdate e => box [string "mayUpdate",
427 space,
428 p_exp env e]
426 429
427 fun p_decl env (dAll as (d, _) : decl) = 430 fun p_decl env (dAll as (d, _) : decl) =
428 case d of 431 case d of
429 DDatatype x => box [string "datatype", 432 DDatatype x => box [string "datatype",
430 space, 433 space,