shake-ext 0.1.0.1 → 0.2.0.0

raw patch · 2 files changed

+57/−15 lines, 2 filesdep +ats-formatdep ~basePVP ok

version bump matches the API change (PVP)

Dependencies added: ats-format

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

• shake-ext.cabal +5/−15
• src/Development/Shake/ATS.hs +52/−0

@@ -1,7 +1,7 @@ name:                shake-ext-version:             0.1.0.1-synopsis:            Helper functions for linting with [shake](http://shakebuild.com/) -description:         This package provides several linters out of the box, as well as several helper functions for build ATS projects.+version:             0.2.0.0+synopsis:            Helper functions for linting with shake +description:         This package provides several linters out of the box, as well as functionality for building ATS projects with [shake](http://shakebuild.com/). homepage:            https://hub.darcs.net/vmchale/shake-ext license:             BSD3 license-file:        LICENSE@@ -24,26 +24,16 @@   hs-source-dirs:      src   exposed-modules:     Development.Shake.FileDetect                      , Development.Shake.Linters+                     , Development.Shake.ATS   build-depends:       base >= 4.8 && < 5                      , shake+                     , ats-format >= 0.2.0.2   default-language:    Haskell2010   if flag(development)     ghc-options:       -Werror   if impl(ghc >= 8.0)     ghc-options:       -Wincomplete-uni-patterns -Wincomplete-record-updates -Wcompat   ghc-options:         -Wall---- test-suite continued-fractions-test-  -- type:                exitcode-stdio-1.0-  -- hs-source-dirs:      test-  -- main-is:             Spec.hs-  -- build-depends:       base-                     -- , continued-fraction-                     -- , hspec-  -- if flag(development)-    -- ghc-options: -Werror-  -- ghc-options:         -threaded -rtsopts -with-rtsopts=-N -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Wcompat-  -- default-language:    Haskell2010  source-repository head   type:     darcs

@@ -0,0 +1,52 @@+{-# LANGUAGE ScopedTypeVariables #-}++module Development.Shake.ATS ( cgen+                             , cgenPretty+                             ) where++import           Control.Monad              (filterM)+import           Data.Either                (fromRight)+import           Development.Shake+import           Development.Shake.FilePath+import           Language.ATS+import           System.Exit                (ExitCode (ExitSuccess))++atsCommand :: CmdResult r => String -> String -> Action r+atsCommand sourceFile out = command atsArgs "patsopt" ["--output", out, "-dd", sourceFile, "-cc"]+    where atsArgs = [EchoStderr False, AddEnv "PATSHOME" "/usr/local/lib/ats2-postiats-0.3.8"]++-- | This provides rules for generating C code from ATS source files in the+-- @ats-src@ directory.+cgen :: Rules ()+cgen = do++    atsDeps++    "//*.c" %> \out -> do+        let sourceFile = "ats-src/" ++ (dropDirectory1 out -<.> "dats")+        need [sourceFile]+        atsCommand sourceFile out++atsDeps :: Rules ()+atsDeps =++    ["//*.dats", "//*.sats"] |%> \out -> do+        contents <- liftIO $ readFile out+        let ats = fromRight mempty . parseATS . lexATS $ contents+        deps <- filterM doesFileExist $ getDependencies ats+        need deps++-- | This uses @pats-filter@ to prettify the errors.+cgenPretty :: Rules ()+cgenPretty = do++    atsDeps++    "//*.c" %> \out -> do++        let sourceFile = "ats-src/" ++ (dropDirectory1 out -<.> "dats")+        need [sourceFile]+        (Exit c, Stderr _) :: (Exit, Stderr String) <- atsCommand sourceFile out+        if c /= ExitSuccess+            then error "patscc failure"+            else pure ()