-
Notifications
You must be signed in to change notification settings - Fork 0
/
koshu.hs
29 lines (23 loc) · 950 Bytes
/
koshu.hs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
#!/usr/bin/env runhaskell
{-# OPTIONS_GHC -Wall #-}
module Main where
import qualified System.Environment as Env
import qualified Koshucode.Baala.Base as B
import qualified Koshucode.Baala.Core as C
import qualified Koshucode.Baala.Toolkit.Library.Global as Gl
import qualified Koshucode.Baala.Toolkit.Library.Version as Ver
import qualified Koshucode.Baala.Toolkit.Main.KoshuMain as Main
main :: IO ()
main = B.exitWith =<< Main.koshuMain koshuGlobal
-- The main function with command-line argument.
-- To debug main function using GHCi:
--
-- > :l "koshu.hs"
-- > :trace mainWith ["INPUT.k", ...]
--
mainWith :: [String] -> IO ()
mainWith args = Env.withArgs args main
koshuGlobal :: C.GlobalC
koshuGlobal = Gl.baalaGlobal
{ C.globalSynopsis = "The Koshucode Baala Implementation"
, C.globalVersion = Ver.version }