diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-12-20 16:19:26 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-20 16:19:26 -0500 |
| commit | 634fe887f30fef13f0b9e8a7e047a2e99cff72de (patch) | |
| tree | 295a6cbc7787518188dbf6c5c2144c32154ab116 /src/mono_print.sml | |
| parent | e6655be0a7d1dd5864afce14bd3c68873025a84f (diff) | |
Successfully generated a page element from a signal
Diffstat (limited to 'src/mono_print.sml')
| -rw-r--r-- | src/mono_print.sml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml index 89b6c35b..e44bb74c 100644 --- a/src/mono_print.sml +++ b/src/mono_print.sml @@ -379,6 +379,10 @@ fun p_decl env (dAll as (d, _) : decl) = | DDatabase s => box [string "database", space, string s] + | DJavaScript s => box [string "JavaScript(", + string s, + string ")"] + fun p_file env file = let |