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