diff options
| author |  Nickolai Zeldovich <nickolai@csail.mit.edu> | 2014-09-16 14:56:59 +0000 |
|---|---|---|
| committer |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-10-28 09:09:56 +0100 |
| commit | 53bfe9cf58a3c40e6eb7120d25c1633a9cea3126 (patch) | |
| tree | 833294862be5e6df5db2e766208c90028daaf217 /library/summary.ml | |
| parent | 1545317ea8b6e7ca4965f06f00bc524d5af1ef47 (diff) | |
Haskell extraction: use explicit -XMagicHash instead of -fglasgow-exts
When Coq's Haskell extraction needs to use unsafeCoerce, it passes
the -fglasgow-exts option to GHC, but recent versions of GHC warn
against this:
xx.hs:1:16: Warning:
-fglasgow-exts is deprecated: Use individual extensions instead
This patch does as the warning suggests, replacing -fglasgow-exts
with the specific option that the extraction needs (-XMagicHash).
Diffstat (limited to 'library/summary.ml')
0 files changed, 0 insertions, 0 deletions