diff options
author | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-07 14:01:59 +0000 |
---|---|---|
committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-07-07 14:01:59 +0000 |
commit | 2be0079f2ed4b67eae474341a10b9f60dcf83c4f (patch) | |
tree | 97e03cde10cff22588e9019477d16febb93fc75e /plugins/extraction/haskell.ml | |
parent | 670a61a7ca4c55a5e06a79a73989a52bf0cb2273 (diff) |
Extraction Library Foo creates Foo.ml, not foo.ml
And similarly for Haskell: we do not force capitalized/uncapitalized
filenames anymore, but we rather follow the name of the .v file (with
new extensions of course). Ok, this is an incompatible change, but
it is really convenient, some people where actually already doing
some hacks to have this behavior (cf. Compcert).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13260 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/extraction/haskell.ml')
-rw-r--r-- | plugins/extraction/haskell.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/extraction/haskell.ml b/plugins/extraction/haskell.ml index e03c7313a..d42840613 100644 --- a/plugins/extraction/haskell.ml +++ b/plugins/extraction/haskell.ml @@ -336,7 +336,6 @@ let pp_struct = let haskell_descr = { keywords = keywords; file_suffix = ".hs"; - capital_file = true; preamble = preamble; pp_struct = pp_struct; sig_suffix = None; |