diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-28 12:07:05 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-28 12:07:05 -0400 |
| commit | a735f6ea0ef8ec5895dfe7f895f89ee8c126de14 (patch) | |
| tree | 702dbe43701e15a37f7811983aad78e069812704 /src/elab_print.sml | |
| parent | 43cd4231dea11d2cbb0151f144e4a98c618df396 (diff) | |
Destructing local let, to the point where demo compiles
Diffstat (limited to 'src/elab_print.sml')
| -rw-r--r-- | src/elab_print.sml | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/src/elab_print.sml b/src/elab_print.sml index ab38c2e1..3e4ea659 100644 --- a/src/elab_print.sml +++ b/src/elab_print.sml @@ -423,7 +423,7 @@ fun p_exp' par env (e, _) = | EUnif (ref (SOME e)) => p_exp env e | EUnif _ => string "_" - | ELet (ds, e) => + | ELet (ds, e, _) => let val (dsp, env) = ListUtil.foldlMap (fn (d, env) => @@ -456,9 +456,17 @@ and p_exp env = p_exp' false env and p_edecl env (dAll as (d, _)) = case d of - EDVal vi => box [string "val", - space, - p_evali env vi] + EDVal (p, t, e) => box [string "val", + space, + p_pat env p, + space, + string ":", + space, + p_con env t, + space, + string "=", + space, + p_exp env e] | EDValRec vis => let val env = E.edeclBinds env dAll |