comparison src/mono_print.sml @ 1845:c1e3805e604e

Make Scriptcheck catch more script/message-passing uses, and move the phase earlier in compilation
author Adam Chlipala <adam@chlipala.net>
date Fri, 15 Mar 2013 16:09:55 -0400
parents d2b3fada532e
children e15234fbb163
comparison
equal deleted inserted replaced
1844:2c5e6f78560c 1845:c1e3805e604e
528 | DPolicy p => box [string "policy", 528 | DPolicy p => box [string "policy",
529 space, 529 space,
530 p_policy env p] 530 p_policy env p]
531 | DOnError _ => string "ONERROR" 531 | DOnError _ => string "ONERROR"
532 532
533 fun p_file env file = 533 fun p_file env (file, _) =
534 let 534 let
535 val (pds, _) = ListUtil.foldlMap (fn (d, env) => 535 val (pds, _) = ListUtil.foldlMap (fn (d, env) =>
536 (p_decl env d, 536 (p_decl env d,
537 E.declBinds env d)) 537 E.declBinds env d))
538 env file 538 env file