Mercurial > urweb

comparison src/mono_print.sml @ 1221:00e628854005

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Delete policies
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 12:38:21 -0400
parents 526575a9537a
children 62af4cacd191
comparison
equal deleted inserted replaced
1220:526575a9537a 1221:00e628854005
418 space, 418 space,
419 p_exp env e] 419 p_exp env e]
420 | PolInsert e => box [string "mayInsert", 420 | PolInsert e => box [string "mayInsert",
421 space, 421 space,
422 p_exp env e] 422 p_exp env e]
423 | PolDelete e => box [string "mayDelete",
424 space,
425 p_exp env e]
423 426
424 fun p_decl env (dAll as (d, _) : decl) = 427 fun p_decl env (dAll as (d, _) : decl) =
425 case d of 428 case d of
426 DDatatype x => box [string "datatype", 429 DDatatype x => box [string "datatype",
427 space, 430 space,