lhs2TeX-hl 0.1.1.0 → 0.1.1.1

raw patch · 4 files changed

+36/−36 lines, 4 files

Files

• lhs2TeX-hl.cabal +2/−2
• src/Base/CLI.hs +33/−0
• src/Base/Cli.hs +0/−33
• src/Base/Common.hs +1/−1

@@ -1,5 +1,5 @@ Name:               lhs2TeX-hl-Version:            0.1.1.0+Version:            0.1.1.1 Cabal-Version:      >= 1.6 License:            MIT Author:             Alessandro Vermeulen <me@alessandrovermeulen.me>@@ -26,4 +26,4 @@                   , Agda >= 2.2.6   hs-source-dirs:   src   Other-Modules:    Language.LaTeX, Literate.Agda, Literate.Haskell,-                    Literate.SimpleInfo, Base.Cli, Base.Common+                    Literate.SimpleInfo, Base.CLI, Base.Common

@@ -0,0 +1,33 @@+{-# LANGUAGE DeriveDataTypeable #-}+module Base.CLI (ProgramOptions(..), usage, standard, module System.Console.CmdArgs) where+  +import System.Console.CmdArgs++import Base.Common++data ProgramOptions = ProgramOptions+  { agda_mode :: Bool+  , input   :: [FilePath]+  , output  :: FilePath+  } deriving (Show, Data, Typeable)++++usage :: String+usage = unlines +          [ programName ++" "++ programVersion ++" - A lhs2TeX Syntax Coloring pre-processor"+          , "Copyright 2010, Alessandro Vermeulen <me@alessandrovermeulen.me>" ]++++-- | Standard command line options. +--++standard = cmdArgsMode $ ProgramOptions +            { +              agda_mode  = def &= help "Run in agda-mode!"  +            , output     = (def &= help "Output file") &= typFile+            , input      = (def &= args ) +            } &= summary usage++

@@ -1,33 +0,0 @@-{-# LANGUAGE DeriveDataTypeable #-}-module Base.CLI (ProgramOptions(..), usage, standard, module System.Console.CmdArgs) where-  -import System.Console.CmdArgs--import Base.Common--data ProgramOptions = ProgramOptions-  { agda_mode :: Bool-  , input   :: [FilePath]-  , output  :: FilePath-  } deriving (Show, Data, Typeable)----usage :: String-usage = unlines -          [ programName ++" "++ programVersion ++" - A lhs2TeX Syntax Coloring pre-processor"-          , "Copyright 2010, Alessandro Vermeulen <me@alessandrovermeulen.me>" ]------ | Standard command line options. -----standard = cmdArgsMode $ ProgramOptions -            { -              agda_mode  = def &= help "Run in agda-mode!"  -            , output     = (def &= help "Output file") &= typFile-            , input      = (def &= args ) -            } &= summary usage--

@@ -1,4 +1,4 @@ module Base.Common where   -programVersion = "0.1.1.0"+programVersion = "0.1.1.1" programName    = "lhs2TeX-hl"