Mercurial > urweb
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 |