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 | ec745f90fc97e10948dc32ec4f44aabf5c6908db (patch) | |
tree | 295a6cbc7787518188dbf6c5c2144c32154ab116 /src/mono_print.sml | |
parent | 80be553bea33f3d9cb19f399f64eed36017048a3 (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 |