chr-lang-0.1.0.1: src/CHR/Language/Examples/Term/Run.hs

module CHR.Language.Examples.Term.Run
  ( Run.RunOpt(..)
  , Run.Verbosity(..)

  , runFile
  )
  where

import           Data.Proxy
import           CHR.Language.Examples.Term.AST
import           CHR.Language.Examples.Term.Visualizer

import qualified CHR.Language.WithTerm.Run                          as Run

import qualified GHC.Exts                                           as Prim

-- | Run file with options
runFile :: [Run.RunOpt] -> FilePath -> IO ()
runFile runopts f = (Prim.inline Run.runFile) (Proxy :: Proxy Tm) runopts chrVisualize f