diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-12-21 12:56:39 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-21 12:56:39 -0500 |
| commit | f60bcb83cf4d8e0a6176a1dca6e557c49e9f9375 (patch) | |
| tree | dd7fc482cb82508fbe29061a6588e452dcc5c8a7 /src/mono_print.sml | |
| parent | d5c3faacb1c3114fe6802973a62528cda8be8ac7 (diff) | |
Trivial use of a source
Diffstat (limited to 'src/mono_print.sml')
| -rw-r--r-- | src/mono_print.sml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml index 608fe269..b3c0a568 100644 --- a/src/mono_print.sml +++ b/src/mono_print.sml @@ -285,12 +285,15 @@ fun p_exp' par env (e, _) = | ESignalReturn e => box [string "Return(", p_exp env e, string ")"] - | ESignalBind (e1, e2) => box [string "Return(", + | ESignalBind (e1, e2) => box [string "Bind(", p_exp env e1, string ",", space, p_exp env e2, string ")"] + | ESignalSource e => box [string "Source(", + p_exp env e, + string ")"] and p_exp env = p_exp' false env |