hs-gen-iface (empty) → 0.2

raw patch · 4 files changed

+157/−0 lines, 4 filesdep +Cabaldep +basedep +containerssetup-changed

Dependencies added: Cabal, base, containers, filepath, haskell-names, haskell-packages, haskell-src-exts, hse-cpp, mtl, tagged

Files

LICENSE +19/−0
Setup.hs +2/−0
hs-gen-iface.cabal +32/−0
src/hs-gen-iface.hs +104/−0

+ LICENSE view

@@ -0,0 +1,19 @@+Copyright (c) 2012 Roman Cheplyaka++Permission is hereby granted, free of charge, to any person obtaining a copy+of this software and associated documentation files (the "Software"), to deal+in the Software without restriction, including without limitation the rights+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell+copies of the Software, and to permit persons to whom the Software is+furnished to do so, subject to the following conditions:++The above copyright notice and this permission notice shall be included in+all copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN+THE SOFTWARE.

+ Setup.hs view

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

+ hs-gen-iface.cabal view

@@ -0,0 +1,32 @@+Name:                   hs-gen-iface+Version:                0.2+License:                MIT+License-file:           LICENSE+Author:                 Roman Cheplyaka+Maintainer:             Roman Cheplyaka <roma@ro-che.info>+Description:            Compiler which generates module interfaces for haskell-names+Category:               Language+Synopsis:               Utility to generate haskell-names interface files+Stability:              Experimental+Build-Type:             Simple+Cabal-Version:          >= 1.10++Executable hs-gen-iface+  Default-Language: Haskell2010+  ghc-options: -Wall -fno-warn-name-shadowing+  hs-source-dirs: src+  Main-is:+    hs-gen-iface.hs+  Other-modules:+    Paths_hs_gen_iface+  Build-depends:+    base == 4.*,+    containers,+    haskell-src-exts,+    haskell-names,+    haskell-packages,+    filepath,+    mtl,+    Cabal,+    hse-cpp,+    tagged

+ src/hs-gen-iface.hs view

@@ -0,0 +1,104 @@+{-# LANGUAGE DeriveDataTypeable #-}+module Main where++import qualified Language.Haskell.Exts.Annotated as HSE+import qualified Language.Haskell.Exts as UnAnn+import Language.Haskell.Exts (defaultParseMode, ParseMode(..))+import Language.Haskell.Names+import Language.Haskell.Names.Interfaces+import Language.Haskell.Exts.Extension+import Language.Haskell.Exts.SrcLoc+import Control.Monad+import Control.Exception+import Data.Typeable+import Data.Proxy+import Data.Maybe+import qualified Data.Foldable as F+import System.FilePath+import Text.Printf++import Distribution.HaskellSuite+import qualified Distribution.HaskellSuite.Compiler as Compiler++import Distribution.ModuleName hiding (main)+import Distribution.Simple.Utils+import Distribution.Verbosity++import Language.Haskell.Exts.Annotated.CPP+import Paths_hs_gen_iface+import Language.Haskell.Names.SyntaxUtils++data GenIfaceException+  = ParseError HSE.SrcLoc String+  | ScopeErrors (Error HSE.SrcSpan)+  deriving Typeable++instance Show GenIfaceException where+  show (ParseError (SrcLoc file line col) msg) =+    printf "%s:%d:%d:\n  %s" file line col msg+  show ScopeErrors {} = "scope errors (show not implemented yet)"++instance Exception GenIfaceException++fromParseResult :: HSE.ParseResult a -> IO a+fromParseResult (HSE.ParseOk x) = return x+fromParseResult (HSE.ParseFailed loc msg) = throwIO $ ParseError loc msg++main :: IO ()+main =+  Compiler.main theTool++suffix :: String+suffix = "names"++theTool :: Compiler.Simple NamesDB+theTool =+  Compiler.simple+    "haskell-names"+    version+    knownLanguages+    knownExtensions+    compile+    [suffix]++fixCppOpts :: CpphsOptions -> CpphsOptions+fixCppOpts opts =+  opts {+    defines = ("__GLASGOW_HASKELL__", "706") : defines opts -- FIXME+  }++parse :: Language -> [Extension] -> CpphsOptions -> FilePath -> IO (HSE.Module HSE.SrcSpan)+parse lang exts cppOpts file = do+    x <- return . fmap HSE.srcInfoSpan . fst+            =<< fromParseResult+            =<< parseFileWithCommentsAndCPP (fixCppOpts cppOpts) mode file+    return x+  where+    mode = defaultParseMode+             { UnAnn.parseFilename   = file+             , baseLanguage          = lang+             , extensions            = exts+             , ignoreLanguagePragmas = False+             , ignoreLinePragmas     = False+             }++compile :: Compiler.CompileFn+compile buildDir mbLang exts cppOpts pkgName pkgdbs deps files = do+  let lang = fromMaybe Haskell98 mbLang++  moduleSet <- mapM (parse lang exts cppOpts) files++  packages <- readPackagesInfo (Proxy :: Proxy NamesDB) pkgdbs deps++  (ifaces, errors) <- evalModuleT (getInterfaces lang exts moduleSet) packages "names" readInterface++  F.for_ errors $ \e -> printf "Warning: %s" (ppError e)++  forM_ (zip moduleSet ifaces) $ \(mod, syms) -> do++    let HSE.ModuleName _ modname = getModuleName mod+        ifaceFile = buildDir </> toFilePath (fromString modname) <.> suffix++    createDirectoryIfMissingVerbose silent True (dropFileName ifaceFile)++    writeInterface ifaceFile $ qualifySymbols pkgName syms