Mercurial > urweb
comparison src/core_print.sml @ 1199:c316ca3c9ec6
Pushing policies through
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 04 Apr 2010 12:29:34 -0400 |
parents | 72670131dace |
children | 56bd4a4f6e66 |
comparison
equal
deleted
inserted
replaced
1197:6d8e3dcb9713 | 1199:c316ca3c9ec6 |
---|---|
616 p_exp env e1, | 616 p_exp env e1, |
617 space, | 617 space, |
618 string "=", | 618 string "=", |
619 space, | 619 space, |
620 p_exp env e2] | 620 p_exp env e2] |
621 | DPolicy e1 => box [string "policy", | |
622 space, | |
623 p_exp env e1] | |
621 | 624 |
622 fun p_file env file = | 625 fun p_file env file = |
623 let | 626 let |
624 val (pds, _) = ListUtil.foldlMap (fn (d, env) => | 627 val (pds, _) = ListUtil.foldlMap (fn (d, env) => |
625 (p_decl env d, | 628 (p_decl env d, |