# HG changeset patch
# User haftmann
# Date 1501757397 -7200
# Node ID fd28cb6e6f2c2bb08e437530356355ea970b6fa9
# Parent  859b66d75dff92deabc21fe7c9ec7e7a5bc9a60e
work around weakness in export calculation when generating OCaml code

diff -r 859b66d75dff -r fd28cb6e6f2c src/Tools/Code/code_ml.ML
--- a/src/Tools/Code/code_ml.ML	Thu Aug 03 12:49:55 2017 +0200
+++ b/src/Tools/Code/code_ml.ML	Thu Aug 03 12:49:57 2017 +0200
@@ -676,6 +676,8 @@
           in pair
            (if Code_Namespace.is_public export
               then type_decl_p :: map print_classparam_decl classparams
+              else if null classrels andalso null classparams
+              then [type_decl_p] (*work around weakness in export calculation*)
               else [concat [str "type", print_dicttyp (class, ITyVar v)]])
             (Pretty.chunks (
               doublesemicolon [type_decl_p]