swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Tip revision: 1882305cf46b4273e10742f6e8a6f1a9770460f0 authored by mkolosick on 10 September 2019, 00:19:29 UTC
WIP on fixpoint source spans
WIP on fixpoint source spans
Tip revision: 1882305
Main.hs
import Language.Mist.Runner
import Language.Mist.Config
import System.Console.CmdArgs (cmdArgs)
import System.Exit
import System.IO
main :: IO ()
main = do
config <- cmdArgs defConfig
r <- runMist stderr config
case r of
Left _ -> exitFailure
Right _ -> exitSuccess