From e7e2ffc58a4f120801ae69217032948e511af213 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 26 Jan 2008 16:02:47 -0500 Subject: Elaborating files --- src/elab_print.sml | 32 +++++++++++++++++--------------- 1 file changed, 17 insertions(+), 15 deletions(-) (limited to 'src/elab_print.sml') diff --git a/src/elab_print.sml b/src/elab_print.sml index 18d01695..58a342e2 100644 --- a/src/elab_print.sml +++ b/src/elab_print.sml @@ -128,24 +128,26 @@ and p_con env = p_con' false env fun p_decl env ((d, _) : decl) = case d of - DCon (x, k, c) => box [string "con", - space, - string x, - space, - string "::", - space, - p_kind k, - space, - string "=", - space, - p_con env c] + DCon (x, n, k, c) => box [string "con", + space, + string x, + string "__", + string (Int.toString n), + space, + string "::", + space, + p_kind k, + space, + string "=", + space, + p_con env c] fun p_file env file = let - val (_, pds) = foldr (fn (d, (env, pds)) => - (ElabUtil.declBinds env d, - p_decl env d :: pds)) - (env, []) file + val (_, pds) = ListUtil.mapfoldl (fn (d, env) => + (ElabUtil.declBinds env d, + p_decl env d)) + env file in p_list_sep newline (fn x => x) pds end -- cgit v1.2.3