coq/coq — pull request #39 by zeldovich (2014-09-16 15:18:07+00:00)
Title: Improve Haskell extraction

The two patches in this pull request improve Haskell extraction from Coq with recent versions of GHC in situations when the extracted code needs to use the unsafeCoerce magic. See the two commit descriptions for more details.