# HG changeset patch
# User haftmann
# Date 1199283267 -3600
# Node ID a81c0ad97133fcdd40e90d399560b47873fd972f
# Parent  cb11c9ee25383216282177db458206c11b013c32
empty dictionaries for OCaml

diff -r cb11c9ee2538 -r a81c0ad97133 src/Tools/code/code_target.ML
--- a/src/Tools/code/code_target.ML	Wed Jan 02 15:14:26 2008 +0100
+++ b/src/Tools/code/code_target.ML	Wed Jan 02 15:14:27 2008 +0100
@@ -60,6 +60,8 @@
 val concat = Pretty.block o Pretty.breaks;
 val brackets = Pretty.enclose "(" ")" o Pretty.breaks;
 fun semicolon ps = Pretty.block [concat ps, str ";"];
+fun enum_default default sep opn cls [] = str default
+  | enum_default default sep opn cls xs = Pretty.enum sep opn cls xs;
 
 
 (** syntax **)
@@ -863,7 +865,7 @@
               str ("type '" ^ v),
               (str o deresolv) class,
               str "=",
-              Pretty.enum ";" "{" "};;" (
+              enum_default "();;" ";" "{" "};;" (
                 map pr_superclass_field superclasses
                 @ map pr_classparam_field classparams
               )
@@ -891,7 +893,7 @@
               :: pr_tyvars arity
               @ str "="
               @@ (Pretty.enclose "(" ");;" o Pretty.breaks) [
-                Pretty.enum ";" "{" "}" (map pr_superclass superarities
+                enum_default "()" ";" "{" "}" (map pr_superclass superarities
                   @ map pr_classparam_inst classparam_insts),
                 str ":",
                 pr_tycoexpr NOBR (class, [tyco `%% map (ITyVar o fst) arity])