From fb8c4b8903e82b36ebcf28dfe18282fb05a93d4f Mon Sep 17 00:00:00 2001 From: Nickolai Zeldovich Date: Sun, 5 Apr 2015 10:52:45 -0400 Subject: JSON extraction: construct full names (dot-separated) in pp_global This is important to disambiguate identical names from different modules. --- plugins/extraction/common.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins/extraction/common.ml') diff --git a/plugins/extraction/common.ml b/plugins/extraction/common.ml index 094d91d20..97f856944 100644 --- a/plugins/extraction/common.ml +++ b/plugins/extraction/common.ml @@ -600,7 +600,7 @@ let pp_global k r = let rls = List.rev ls in (* for what come next it's easier this way *) match lang () with | Scheme -> unquote s (* no modular Scheme extraction... *) - | JSON -> unquote s (* no modular JSON extraction... *) + | JSON -> dottify (List.map unquote rls) | Haskell -> if modular () then pp_haskell_gen k mp rls else s | Ocaml -> pp_ocaml_gen k mp rls (Some l) -- cgit v1.2.3