From e3640bdbbac76807457d50ac60e93192d137f3f9 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Thu, 11 Jul 2019 09:54:45 +0200 Subject: Hide ExtrOcamlStringPlus.v like the other extraction files --- doc/stdlib/hidden-files | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/stdlib') diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files index b816ef6210..97ff84dd8e 100644 --- a/doc/stdlib/hidden-files +++ b/doc/stdlib/hidden-files @@ -18,6 +18,7 @@ plugins/extraction/ExtrOcamlIntConv.v plugins/extraction/ExtrOcamlNatBigInt.v plugins/extraction/ExtrOcamlNatInt.v plugins/extraction/ExtrOcamlString.v +plugins/extraction/ExtrOcamlStringPlus.v plugins/extraction/ExtrOcamlZBigInt.v plugins/extraction/ExtrOcamlZInt.v plugins/extraction/Extraction.v -- cgit v1.2.3 From 887128c20edcc7d9a0e6d7387291fe0ba05a29e5 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Sun, 8 Dec 2019 19:01:04 +0100 Subject: Rename ExtrOcamlStringPlus into ExtrOcamlNativeString As suggested during review. That's a much better name. --- doc/stdlib/hidden-files | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/stdlib') diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files index 97ff84dd8e..3e53c05439 100644 --- a/doc/stdlib/hidden-files +++ b/doc/stdlib/hidden-files @@ -18,7 +18,7 @@ plugins/extraction/ExtrOcamlIntConv.v plugins/extraction/ExtrOcamlNatBigInt.v plugins/extraction/ExtrOcamlNatInt.v plugins/extraction/ExtrOcamlString.v -plugins/extraction/ExtrOcamlStringPlus.v +plugins/extraction/ExtrOcamlNativeString.v plugins/extraction/ExtrOcamlZBigInt.v plugins/extraction/ExtrOcamlZInt.v plugins/extraction/Extraction.v -- cgit v1.2.3 From ef938a4ce2c03b1c4f23222a4542ad144a1f209b Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Wed, 8 Jan 2020 13:52:25 +0100 Subject: Factorize ascii extraction in ExtrOcamlChar.v --- doc/stdlib/hidden-files | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/stdlib') diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files index 3e53c05439..dbc3a42ee9 100644 --- a/doc/stdlib/hidden-files +++ b/doc/stdlib/hidden-files @@ -12,6 +12,7 @@ plugins/extraction/ExtrHaskellZInteger.v plugins/extraction/ExtrHaskellZNum.v plugins/extraction/ExtrOcamlBasic.v plugins/extraction/ExtrOcamlBigIntConv.v +plugins/extraction/ExtrOcamlChar.v plugins/extraction/ExtrOCamlInt63.v plugins/extraction/ExtrOCamlFloats.v plugins/extraction/ExtrOcamlIntConv.v -- cgit v1.2.3