Mercurial > urweb
comparison src/mono_print.sml @ 2251:25874084bf1f
Make Mono.file a record for readability upon extension.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Sun, 13 Sep 2015 17:02:17 -0400 |
parents | 278e10629ba1 |
children | e843a04499d4 |
comparison
equal
deleted
inserted
replaced
2250:c275bbc41194 | 2251:25874084bf1f |
---|---|
540 | DPolicy p => box [string "policy", | 540 | DPolicy p => box [string "policy", |
541 space, | 541 space, |
542 p_policy env p] | 542 p_policy env p] |
543 | DOnError _ => string "ONERROR" | 543 | DOnError _ => string "ONERROR" |
544 | 544 |
545 fun p_file env (file, _) = | 545 fun p_file env (file : file) = |
546 let | 546 let |
547 val (pds, _) = ListUtil.foldlMap (fn (d, env) => | 547 val (pds, _) = ListUtil.foldlMap (fn (d, env) => |
548 (p_decl env d, | 548 (p_decl env d, |
549 E.declBinds env d)) | 549 E.declBinds env d)) |
550 env file | 550 env (#decls file) |
551 in | 551 in |
552 p_list_sep newline (fn x => x) pds | 552 p_list_sep newline (fn x => x) pds |
553 end | 553 end |
554 | 554 |
555 end | 555 end |