Mercurial > urweb
comparison src/mono_print.sml @ 1229:a2cd6664f57f
sendOwnIds policies
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 11 Apr 2010 17:55:37 -0400 |
parents | 62af4cacd191 |
children | 3d06e0f7a6f3 |
comparison
equal
deleted
inserted
replaced
1228:7dfa67560916 | 1229:a2cd6664f57f |
---|---|
424 space, | 424 space, |
425 p_exp env e] | 425 p_exp env e] |
426 | PolUpdate e => box [string "mayUpdate", | 426 | PolUpdate e => box [string "mayUpdate", |
427 space, | 427 space, |
428 p_exp env e] | 428 p_exp env e] |
429 | PolSequence e => box [string "sendOwnIds", | |
430 space, | |
431 p_exp env e] | |
429 | 432 |
430 fun p_decl env (dAll as (d, _) : decl) = | 433 fun p_decl env (dAll as (d, _) : decl) = |
431 case d of | 434 case d of |
432 DDatatype x => box [string "datatype", | 435 DDatatype x => box [string "datatype", |
433 space, | 436 space, |