Haskell extraction: put unsafeCoerce type declaration later

When Haskell extraction requires magic type coersion, Coq produces
the following code:

  unsafeCoerce :: a -> b
  #ifdef __GLASGOW_HASKELL__
  import qualified GHC.Base
  unsafeCoerce = GHC.Base.unsafeCoerce#
  #else
  -- HUGS
  import qualified IOExts
  unsafeCoerce = IOExts.unsafeCoerce
  #endif

GHC version 7.6.3 does not allow imports after a type declaration,
and produces this error:

  xx.hs:20:1: parse error on input `import'

(referring to the first import statement above).  This patch moves
the unsafeCoerce type declaration to just after the import statement,
fixing this compile error.

0 files changed, 0 insertions, 0 deletions