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/source_print.sml | |
| parent | 43cd4231dea11d2cbb0151f144e4a98c618df396 (diff) | |
Destructing local let, to the point where demo compiles
Diffstat (limited to 'src/source_print.sml')
| -rw-r--r-- | src/source_print.sml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/source_print.sml b/src/source_print.sml index a16b5bb1..7ec584d7 100644 --- a/src/source_print.sml +++ b/src/source_print.sml @@ -338,9 +338,13 @@ and p_exp e = p_exp' false e and p_edecl (d, _) = case d of - EDVal vi => box [string "val", - space, - p_vali vi] + EDVal (p, e) => box [string "val", + space, + p_pat p, + space, + string "=", + space, + p_exp e] | EDValRec vis => box [string "val", space, string "rec", |