Haskell extraction: put unsafeCoerce type declaration later
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.

ejgallego/coq,shindere/coq,JasonGross/coq,TheTypoMaster/coq,ale-f/coq,gmalecha/coq,ejgallego/coq,JasonGross/coq,aspiwack/coq,8l/coq,SkySkimmer/coq,william-lawvere/coq,coq/coq,maximedenes/coq,Zimmi48/coq,mattam82/coq,shindere/coq,maximedenes/coq,barras/coq,gares/coq,gares/coq,TheTypoMaster/coq,shindere/coq,Matafou/coq,silene/coq,gares/coq,Ptival/coq,SkySkimmer/coq,gares/coq,coq/coq,barras/coq,gmalecha/coq,amintimany/coq,8l/coq,Zimmi48/coq,Ptival/coq,ale-f/coq,jpdeplaix/coq,letouzey/coq-wip,Lionel-Rieg/coq,pirapira/coq2rust,silene/coq,herbelin/github-coq,asr/coq,silene/coq,ppedrot/coq,ppedrot/coq,8l/coq,JasonGross/coq,letouzey/coq-wip,amintimany/coq,maximedenes/coq,Zimmi48/coq,jpdeplaix/coq,maximedenes/coq,ejgallego/coq,TOSPIO/coq,ale-f/coq,TOSPIO/coq,SkySkimmer/coq,letouzey/coq-wip,amintimany/coq,mattam82/coq,pirapira/coq2rust,Ptival/coq,asr/coq,ppedrot/coq,gmalecha/coq,maximedenes/coq,william-lawvere/coq,jpdeplaix/coq,william-lawvere/coq,coq/coq,Lionel-Rieg/coq,Matafou/coq,aspiwack/coq,letouzey/coq-wip,coq/coq,Matafou/coq,mlasson/coq,mlasson/coq,aspiwack/coq,Zimmi48/coq,Lionel-Rieg/coq,mattam82/coq,asr/coq,gares/coq,ejgallego/coq,barras/coq,pirapira/coq2rust,ppedrot/coq,herbelin/github-coq,TheTypoMaster/coq,ppedrot/coq,SkySkimmer/coq,mlasson/coq,JasonGross/coq,herbelin/github-coq,letouzey/coq-wip,TOSPIO/coq