diff options
Diffstat (limited to 'doc/changelog/10-standard-library/12263-fix-haskell-extraction.rst')
| -rw-r--r-- | doc/changelog/10-standard-library/12263-fix-haskell-extraction.rst | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/doc/changelog/10-standard-library/12263-fix-haskell-extraction.rst b/doc/changelog/10-standard-library/12263-fix-haskell-extraction.rst deleted file mode 100644 index c80a070181..0000000000 --- a/doc/changelog/10-standard-library/12263-fix-haskell-extraction.rst +++ /dev/null @@ -1,9 +0,0 @@ -- **Fixed:** - In Haskell extraction with ``ExtrHaskellString``, equality comparisons on - strings and characters are now guaranteed to be uniquely well-typed, even in - very polymorphic contexts under ``unsafeCoerce``; this is achieved by adding - type annotations to the extracted code, and by making ``ExtrHaskellString`` - export ``ExtrHaskellBasic`` (`#12263 - <https://github.com/coq/coq/pull/12263>`_, fixes `#12257 - <https://github.com/coq/coq/issues/12257>`_ and `#12258 - <https://github.com/coq/coq/issues/12258>`_, by Jason Gross). |