Mercurial > urweb
comparison src/mono_print.sml @ 1223:62af4cacd191
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, |