src/HOLCF/Tools/cont_consts.ML

     |> Sign.add_consts_i (map first transformed_decls)
     |> Sign.add_syntax_i (map second transformed_decls)
     |> Sign.add_trrules_i (List.concat (map third transformed_decls))
   end;
 
-val add_consts = gen_add_consts Sign.read_typ;
+val add_consts = gen_add_consts Syntax.read_typ_global;
 val add_consts_i = gen_add_consts Sign.certify_typ;
 
 
 (* outer syntax *)