module Main (main) where

import HsToCoq.Util.GHC
import HsToCoq.CLI

main :: IO ()
main = defaultRunGhc $ processFilesMain convertAndPrintModules

module Main (main) where

import HsToCoq.Util.GHC
import HsToCoq.CLI

main :: IO ()
main = defaultRunGhc $ processFilesMainRn convertAndPrintModulesRn

Switch to use the renamer but produce single file output
Switch to use the renamer but produce single file output
