diff options
| author | Guillaume Melquiond | 2015-03-21 13:54:46 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-03-21 13:54:46 +0100 |
| commit | 21771adc7454ae186823b3f30d43c2fb80d70fc2 (patch) | |
| tree | 01018e82305ae39d7454fa6cb726b6c8039b9ef2 /plugins/extraction/extract_env.ml | |
| parent | 58521e6066974833bb83e98a6bb17feb0c1fee90 (diff) | |
Properly capitalize filenames when extracting to Haskell. (Fix for bug #3221)
Diffstat (limited to 'plugins/extraction/extract_env.ml')
| -rw-r--r-- | plugins/extraction/extract_env.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/extraction/extract_env.ml b/plugins/extraction/extract_env.ml index 90ee6d0ef1..5ea4fb763e 100644 --- a/plugins/extraction/extract_env.ml +++ b/plugins/extraction/extract_env.ml @@ -440,7 +440,8 @@ let mono_filename f = let module_filename mp = let f = file_of_modfile mp in let d = descr () in - Some (f^d.file_suffix), Option.map ((^) f) d.sig_suffix, Id.of_string f + let p = d.file_naming mp ^ d.file_suffix in + Some p, Option.map ((^) f) d.sig_suffix, Id.of_string f (*s Extraction of one decl to stdout. *) |