src/Extraction.v

   1 (*********************************************************************************************************************************)
   2 (* ExtractionMain: just the "Extract" command                                                                                    *)
   3 (*********************************************************************************************************************************)
   4
   5 (* need this or the Haskell extraction fails *)
   6 Set Printing Width 1300000.
   7 Require Import ExtractionMain.
   8
   9 (*Set Extraction Optimize.*)
  10 (*Set Extraction AutoInline.*)
  11 Extraction "Extraction.hs" coqPassCoreToString coqPassCoreToCore.
  12