November 2010 - cabal-devel

[Hackage] #769: HackageDB messes up {-# OPTIONS_HADDOCK hide #-}
by Hackage 26 Nov '10

26 Nov '10

#769: HackageDB messes up {-# OPTIONS_HADDOCK hide #-} --------------------------------+------------------------------------------- Reporter: blamario | Owner: Type: defect | Status: new Priority: normal | Milestone: Component: hackageDB website | Version: 1.8.0.6 Severity: normal | Keywords: Difficulty: unknown | Ghcversion: Platform: | --------------------------------+------------------------------------------- Have a look at the SCC 0.6 package page (http://hackage.haskell.org/package/scc) and then try to see, say, its XML module API (http://hackage.haskell.org/packages/archive/scc/0.6/doc/html /Control-Concurrent-SCC-XML.html). The reason for the 404 message that this module has a {-# OPTIONS_HADDOCK hide #-} pragma. When I tried Haddock locally, the effect was that the module became invisible, which was my intention. Making the module name visible but its documentation missing was not. -- Ticket URL: <http://hackage.haskell.org/trac/hackage/ticket/769> Hackage <http://haskell.org/cabal/> Hackage: Cabal and related projects

1 5

patch applied (cabal): "Add NondecreasingIndentation to Language.Haskell.Extension"
by Ian Lynagh 25 Nov '10

25 Nov '10

Wed Nov 24 14:39:53 PST 2010 Ian Lynagh <igloo(a)earth.li> * Add NondecreasingIndentation to Language.Haskell.Extension M ./Language/Haskell/Extension.hs +3 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=cabal;a=darcs_commitdiff;h=…

1 0

possible cabal monad
by Phyx 24 Nov '10

24 Nov '10

Hi everyone, I've been wanting to be able to override/redirect the outputs from Cabal and Cabal-Install, so if I want to use cabal-install to build something via an IDE I can display accurate feedback to the users. What I came up with is: Ps. The mailclient is screwing with the indentation somewhat. Regards, Tamar {-# LANGUAGE MultiParamTypeClasses #-} -- This api is modelled after the GHC Api, The idea is to provide a way for someone, -- say IDE writers to wrap calls to cabal-install commands. -- In particular control where feedback is returned. {- In order to catch all feedback every IO a in Cabal instead be Cabal a, and at the start of it you'd have a runCabal. A example of how the functions will become is -- ---------------------------------------------------------------------------- - -- |Build the libraries and executables in this package. build :: PackageDescription -- ^mostly information from the .cabal file -> LocalBuildInfo -- ^Configuration information -> BuildFlags -- ^Flags that the user passed to build -> [ PPSuffixHandler ] -- ^preprocessors to run before compiling -> IO () build pkg_descr lbi flags suffixes = do let distPref = fromFlag (buildDistPref flags) verbosity = fromFlag (buildVerbosity flags) initialBuildSteps distPref pkg_descr lbi verbosity suffixes setupMessage verbosity "Building" (packageId pkg_descr) ========= build :: PackageDescription -- ^mostly information from the .cabal file -> LocalBuildInfo -- ^Configuration information -> BuildFlags -- ^Flags that the user passed to build -> [ PPSuffixHandler ] -- ^preprocessors to run before compiling -> Cabal () build pkg_descr lbi flags suffixes = do let distPref = fromFlag (buildDistPref flags) verbosity = fromFlag (buildVerbosity flags) setVerbosity verbosity initialBuildSteps distPref pkg_descr lbi suffixes setupMessage "Building" (packageId pkg_descr) ---------- -} module Distribution.Simple.Api ( -- * Types CabalSession(..) , Logger(..) , Cabal() , CabalMonad -- * Utility functions , getVerbosity , setVerbosity , setLoggers , getLoggers -- * Execution functions , runCabal , reflectCabal ) where -- * Imports import Control.Monad.Trans import Distribution.Verbosity as Verbosity ( Verbosity , normal ) import qualified Distribution.Simple.Utils as Utils import Distribution.Text ( display ) import Distribution.Package ( PackageIdentifier ) import Data.IORef import System.IO.Error import System.FilePath ( normalise ) -- * Types -- | A type synonym incase we ever want to change Message to something other than string. -- It also makes it clear that we are printing a Message for someone. type Message = String -- | A Session data type which is used to carry information from function call to function call. -- It currently only contains the verbosity level and the logger functions, but more can be added if needed. -- maintenance becomes easier since now to add extra information that is accessable by every function all we -- need to do is extend this datatype. data CabalSession = CabalSession { verbosity :: Verbosity , loggers :: Logger } type Session = IORef CabalSession -- | This data type holds the functions you should redirect in case you want to do something other than just -- print an error out, or if you want to change the formatting of the feedback messages. data Logger = Logger { logger_dieWithLocation :: FilePath -> Maybe Int -> Message -> IO () , logger_die :: Message -> IO () , logger_warn :: Verbosity -> Message -> IO () , logger_notice :: Verbosity -> Message -> IO () , logger_info :: Verbosity -> Message -> IO () , logger_debug :: Verbosity -> Message -> IO () } -- | the Cabal Monad data type and a few of it's standard definitions newtype Cabal a = Cabal { unCabal :: Session -> IO a } instance Functor Cabal where fmap f m = Cabal $ \s -> f `fmap` unCabal m s instance Monad Cabal where return a = Cabal $ \_ -> return a m >>= g = Cabal $ \s -> unCabal m s >>= \a -> unCabal (g a) s instance MonadIO Cabal where liftIO a = Cabal $ \_ -> a instance CabalMonad Cabal where getSession = Cabal $ \s -> readIORef s setSession s = Cabal $ \r -> writeIORef r s -- End standard definitions -- | The CabalMonad declaration which provides two standard functions for manipulating it's state class (Functor m, MonadIO m) => CabalMonad m where getSession :: m CabalSession setSession :: CabalSession -> m () -- | These are the feedback functions, which just wrap the functions in the Logger data type -- The names and types were mostly choosen to preserve existing conventions. They also get -- the current verbosity level and passes it along explicitly. -- . -- These are mostly wrappers around functions in Distribution.Simple.Utils -- . -- Note: The >> undefined is just so that the return type is fully polymorphic. The -- "die" loggers should always abort computation. So it should never be reached -- but I can't marshal the IOError type (atleast not easily) which is why I just -- require the loggers in Loggers to return a IO () dieWithLocation :: CabalMonad m => FilePath -> Maybe Int -> Message -> m a dieWithLocation f i m = do l <- fetchLogger logger_dieWithLocation liftIO $ l f i m >> undefined die :: CabalMonad m => Message -> m a die m = do l <- fetchLogger logger_die liftIO $ l m >> undefined warn :: CabalMonad m => Message -> m () warn = executeLogger logger_warn notice :: CabalMonad m => Message -> m () notice = executeLogger logger_notice info :: CabalMonad m => Message -> m () info = executeLogger logger_info debug :: CabalMonad m => Message -> m () debug = executeLogger logger_debug setupMessage :: CabalMonad m => Message -> PackageIdentifier -> m () setupMessage m pkg = notice (m ++ ' ': display pkg ++ "...") -- | Execute a logger by first fetching it using /fetchLogger/ and then calling it -- with as parameters the current verbosity level and the given Message. executeLogger :: (CabalMonad m) => (Logger -> Verbosity -> Message -> IO a) -> Message -> m a executeLogger f m = do l <- fetchLogger f v <- getVerbosity liftIO $ l v m -- | Retreives a logger from the CabalSession and return it. -- The argument to this function should be one of the record -- labels of Loggers fetchLogger :: (CabalMonad m) => (Logger -> c) -> m c fetchLogger f = fmap (f . loggers) getSession -- * Verbosity utility functions getVerbosity :: CabalMonad m => m Verbosity getVerbosity = fmap verbosity getSession setVerbosity :: CabalMonad m => Verbosity -> m () setVerbosity v = fmap (\cfg -> (cfg{verbosity = v})) getSession >>= setSession -- * Loggers utility functions setLoggers :: CabalMonad m => Logger -> m () setLoggers l = do session <- getSession let newSession = session{loggers = l} setSession newSession getLoggers :: CabalMonad m => m Logger getLoggers = fmap loggers getSession -- | A standard set of default loggers. defaultLoggers :: Logger defaultLoggers = Logger { logger_dieWithLocation = Utils.dieWithLocation , logger_die = Utils.die , logger_warn = Utils.warn , logger_notice = Utils.notice , logger_info = Utils.info , logger_debug = Utils.debug } -- | A standard verbosity level defaultVerbosity :: Verbosity defaultVerbosity = normal -- | Create a default session using the default loggers and default verbosity defaultSession :: CabalSession defaultSession = CabalSession { verbosity = defaultVerbosity , loggers = defaultLoggers } -- | A way to run a Cabal monad runCabal :: Cabal a -> IO a runCabal = flip reflectCabal defaultSession -- | Reflect a Cabal monad using a given CabalSession reflectCabal :: Cabal a -> CabalSession -> IO a reflectCabal c s = unCabal c =<< newIORef s

1 0

patch applied (cabal-install): Fix time version regexp in bootstrap script
by Duncan Coutts 24 Nov '10

24 Nov '10

Tue Nov 23 09:46:41 PST 2010 Duncan Coutts <duncan(a)haskell.org> * Fix time version regexp in bootstrap script Sigh, having to use shell script and regexps... M ./bootstrap.sh -1 +1 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=cabal-install;a=darcs_commi…

1 0

patch applied (cabal-install): Bump upper bounds on core packages for ghc-7
by Duncan Coutts 24 Nov '10

24 Nov '10

Tue Nov 23 09:43:28 PST 2010 Duncan Coutts <duncan(a)haskell.org> * Bump upper bounds on core packages for ghc-7 M ./cabal-install.cabal -3 +3 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=cabal-install;a=darcs_commi…

1 0

patch applied (cabal-install): Increase default HTTP package version in bootstrap script
by Duncan Coutts 24 Nov '10

24 Nov '10

Tue Nov 23 09:31:24 PST 2010 Duncan Coutts <duncan(a)haskell.org> * Increase default HTTP package version in bootstrap script M ./bootstrap.sh -1 +1 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=cabal-install;a=darcs_commi…

1 0

patch applied (cabal-install): Update dependencies in the boostrap.sh script
by Duncan Coutts 24 Nov '10

24 Nov '10

Tue Nov 23 09:25:16 PST 2010 Duncan Coutts <duncan(a)haskell.org> * Update dependencies in the boostrap.sh script M ./bootstrap.sh -6 +9 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=cabal-install;a=darcs_commi…

1 0

patch applied (cabal-install): Bump time package dependency for ghc-7
by Duncan Coutts 24 Nov '10

24 Nov '10

Tue Nov 23 09:09:57 PST 2010 Duncan Coutts <duncan(a)haskell.org> * Bump time package dependency for ghc-7 M ./cabal-install.cabal -1 +1 View patch online: http://darcs.haskell.org/cgi-bin/darcsweb.cgi?r=cabal-install;a=darcs_commi…

1 0

patch applied (hackage-server): "port over new package page from hackage-scripts"
by Antoine Latter 22 Nov '10

22 Nov '10

Mon Nov 22 00:22:49 EST 2010 Antoine Latter <aslatter(a)gmail.com> * port over new package page from hackage-scripts Ignore-this: 7c3a9e5bbf9abd5cb2c7358166083453 M ./Distribution/Server/Features/Html.hs -3 +3 M ./Distribution/Server/Pages/Package.hs -21 +56 M ./Distribution/Server/Pages/Template.hs -1 +51 A ./static/haddock/ A ./static/haddock/haddock-util.js A ./static/haddock/haskell_icon.gif A ./static/haddock/hslogo-16.png A ./static/haddock/minus.gif A ./static/haddock/ocean.css A ./static/haddock/plus.gif A ./static/haddock/synopsis.png A ./static/haddock/xhaddock.css

2 1

Package page on Hackage (hacakge-scripts)
by Antoine Latter 22 Nov '10

22 Nov '10

Hi folks, The per-package overview pages on Hackage have recently received a makeover to match the style of Haddock 2.8. Which code generates these pages? I had though it was the following two modules: http://darcs.haskell.org/hackage-scripts/HackagePage.hs http://darcs.haskell.org/hackage-scripts/PackagePage.hs but those don't seem to include the new CSS and javascript, and neither have a modify date later than the release of Haddock 2.8. Am I looking in the wrong place? Thanks, Antoine

2 2