Re: Types in RULES

On 15/09/2008, at 21:16, Simon Peyton-Jones wrote: | > What would we like to write? Perhaps something like | > | > "myrule" forall (type t :: *->*) (f :: a->a) x. | > from (tmap f (to x :: t a)) = map f (from (to x :: t a)) | | Regardless of the syntax, I suspect x will have to be given a t

RE: Types in RULES

| > What would we like to write? Perhaps something like | > | > "myrule" forall (type t :: *->*) (f :: a->a) x. | > from (tmap f (to x :: t a)) = map f (from (to x :: t a)) | | Regardless of the syntax, I suspect x will have to be given a type as | well here, as in (x :: a)? No, that's easily

Re: Types in RULES

On 15/09/2008, at 20:05, Simon Peyton-Jones wrote: What would we like to write? Perhaps something like "myrule" forall (type t :: *->*) (f :: a->a) x. from (tmap f (to x :: t a)) = map f (from (to x :: t a)) Regardless of the syntax, I suspect x will have to be given a type as well her

patch applied (ghc): add refs and fix a bug (noted by Peter Gammie) in docs of arrow notation

Mon Sep 15 03:47:57 PDT 2008 Ross Paterson <[EMAIL PROTECTED]> * add refs and fix a bug (noted by Peter Gammie) in docs of arrow notation M ./docs/users_guide/glasgow_exts.xml -8 +37 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080915104757-b47d3-2eb01e6d39dc0a0a3b5bdee

patch applied (ghc): Generalise type of 'withExtendedLinkEnv'.

Mon Sep 15 01:57:38 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Generalise type of 'withExtendedLinkEnv'. M ./compiler/ghci/Linker.lhs -7 +8 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080915085738-7c5c6-2c1dba7d40788a085cc7249f0098b60309d22819.gz

patch applied (ghc): Use 'GhcMonad' in ghci/GhciTags.

Mon Sep 15 01:49:22 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in ghci/GhciTags. M ./compiler/ghci/GhciTags.hs -10 +10 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080915084922-7c5c6-b3b6ccdbb8d2f5b12261f6e0a3ee1974bbcd271b.gz __

patch applied (ghc): Use 'GhcMonad' in ghci/InteractiveUI.

Mon Sep 15 01:56:33 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in ghci/InteractiveUI. M ./compiler/ghci/InteractiveUI.hs -212 +187 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080915085633-7c5c6-5acccfc6ed29eacd3c1d055de997e24a2b6713c9.gz __

patch applied (ghc): Use 'GhcMonad' in ghci/Debugger.

Mon Sep 15 01:47:38 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in ghci/Debugger. M ./compiler/ghci/Debugger.hs -55 +59 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080915084738-7c5c6-a11891d2c46cad0b1743aa2128dd1b7a931db06b.gz __

patch applied (ghc): Use 'GhcMonad' in ghci/GhciMonad.

Mon Sep 15 01:46:46 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in ghci/GhciMonad. M ./compiler/ghci/GhciMonad.hs -34 +74 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080915084646-7c5c6-619376c248fa68f0b2343f3f2eb7694de603b7a1.gz

patch applied (ghc): Require PatternSignatures for bootstrapping compiler.

Sun Sep 14 16:26:42 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Require PatternSignatures for bootstrapping compiler. M ./compiler/ghc.cabal +2 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914232642-7c5c6-b60d0ecdbd3a216aa650e1d34467fba3830a6164.gz _

patch applied (ghc): Use 'GhcMonad' in ghc/Main.

Sun Sep 14 16:29:57 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in ghc/Main. M ./ghc/Main.hs -55 +68 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914232957-7c5c6-6650f86d8baa3053e16e2802d77aae77092db86f.gz _

patch applied (ghc): Use 'GhcMonad' in InteractiveEval.

Sun Sep 14 16:24:54 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in InteractiveEval. M ./compiler/main/InteractiveEval.hs -164 +161 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914232454-7c5c6-1a7ef6d1dd1b5186240f28d1302d322857b024c1.gz ___

patch applied (ghc): Use 'GhcMonad' in GHC and split up checkModule into phases.

Sun Sep 14 16:20:44 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in GHC and split up checkModule into phases. I'm not sure I covered all the ways of throwing errors in the code. Some functions throw ProgramErrors, some error messages. It's still quite a mess, but we'r

patch applied (ghc): Use 'GhcMonad' in DriverPipeline. Also haddockify a bit while we're at it.

Sun Sep 14 15:06:28 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in DriverPipeline. Also haddockify a bit while we're at it. M ./compiler/main/DriverPipeline.hs -117 +133 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914220628-7c5c6-45b8452940d401e3

patch applied (ghc): Use 'GhcMonad' in HscMain.

Sun Sep 14 14:36:55 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in HscMain. M ./compiler/main/HscMain.lhs -153 +155 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914213655-7c5c6-dddf1d908b00ed34e495363bd6d289f549c7e022.gz __

patch applied (ghc): Use 'GhcMonad' in DriverMkDepend.

Sun Sep 14 14:21:13 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Use 'GhcMonad' in DriverMkDepend. M ./compiler/main/DriverMkDepend.hs -32 +36 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914212113-7c5c6-918240da9570f345d0aba0b2985db452f5f9a26d.gz ___

patch applied (ghc): Haddockify DynFlags (partial).

Sun Sep 14 14:17:18 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Haddockify DynFlags (partial). M ./compiler/main/DynFlags.hs -7 +12 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914211718-7c5c6-81fbe0cf790747be48667488332b4adaa3b0.gz _

patch applied (ghc): Haddockify 'IE'.

Sun Sep 14 14:00:16 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Haddockify 'IE'. M ./compiler/hsSyn/HsImpExp.lhs -7 +8 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914210016-7c5c6-18abc74823977115a938f3859febefea9f13663b.gz __

patch applied (ghc): Provide accessors for 'ImportDecl'.

Sun Sep 14 13:58:11 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Provide accessors for 'ImportDecl'. M ./compiler/hsSyn/HsImpExp.lhs -9 +9 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914205811-7c5c6-5f0acce68071d90dce95cf720a320c550f874a49.gz ___

patch applied (ghc): Start haddockifying 'HsBindLR'.

Sun Sep 14 13:56:29 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Start haddockifying 'HsBindLR'. M ./compiler/hsSyn/HsBinds.lhs -15 +19 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914205629-7c5c6-bb695a6f645836978a813ff28cb8d0656bfb397a.gz __

patch applied (ghc): Document 'parseStaticFlags'.

Sun Sep 14 13:53:16 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Document 'parseStaticFlags'. M ./compiler/main/StaticFlagParser.hs +15 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914205316-7c5c6-c10dc038a90ad172c73510a4e22de8e38bf12dbf.gz __

patch applied (ghc): Introduce 'GhcMonad' class and two default implementations 'Ghc' and 'GhcT'.

Sun Sep 14 13:49:30 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Introduce 'GhcMonad' class and two default implementations 'Ghc' and 'GhcT'. This monad will be required by most public API calls. M ./compiler/main/HscTypes.lhs -6 +292 View patch online: http://darcs.haskell.org/ghc

patch applied (ghc): Give the "Failing due to -Werror" message a name.

Sun Sep 14 10:39:04 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Give the "Failing due to -Werror" message a name. M ./compiler/main/ErrUtils.lhs +4 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914173904-7c5c6-266d8337d2ed500f0cecd116f1b886425268cdc0.gz _

patch applied (ghc): Make typechecker top-level functions also return messages instead of

Sun Sep 14 10:32:28 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Make typechecker top-level functions also return messages instead of printing them. M ./compiler/typecheck/TcRnDriver.lhs -7 +7 M ./compiler/typecheck/TcRnMonad.lhs -3 +2 View patch online: http://darcs.haskell.org/g

patch applied (ghc): Reflect changes of desugarer error reporting in VectMonad.

Sun Sep 14 10:27:11 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Reflect changes of desugarer error reporting in VectMonad. M ./compiler/vectorise/VectMonad.hs -1 +3 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914172711-7c5c6-12d967126aa496e0544db18b7acfeb57850c9

patch applied (ghc): Generalise 'handleGhcException' to work with any 'ExceptionMonad'.

Sun Sep 14 10:24:04 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Generalise 'handleGhcException' to work with any 'ExceptionMonad'. M ./compiler/utils/Panic.lhs -3 +3 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914172404-7c5c6-2aaa176ee2d8aa3747dc2ee0f79c47d8cc70

patch applied (ghc): Introduce an 'ExceptionMonad' class.

Sun Sep 14 10:21:54 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Introduce an 'ExceptionMonad' class. This monad provides variants of 'catch', 'bracket', and 'finally', so exceptions can be handled in monads that wrap IO. The latter two methods need to be part of the class definitio

patch applied (ghc): Provide default MonadIO instance for IO.

Sun Sep 14 09:42:45 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Provide default MonadIO instance for IO. M ./compiler/utils/MonadUtils.hs +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914164245-7c5c6-a5bae37fe343708f1ae18fff5bca6058e2d37ed7.gz

patch applied (ghc): Return instead of print warnings and errors in desugarer.

Sun Sep 14 09:36:41 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Return instead of print warnings and errors in desugarer. M ./compiler/deSugar/Desugar.lhs -31 +35 M ./compiler/deSugar/DsMonad.lhs -3 +2 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914163641-7c

patch applied (ghc): Return parser errors and warnings instead of dying.

Sun Sep 14 09:26:44 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Return parser errors and warnings instead of dying. M ./compiler/cmm/CmmParse.y -8 +12 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914162644-7c5c6-56643a45bd597fdd6ae51a216d74d4cd3c9139f9.gz __

patch applied (ghc): Add aliases for bags of warnings and errors.

Sun Sep 14 09:03:37 PDT 2008 Thomas Schilling <[EMAIL PROTECTED]> * Add aliases for bags of warnings and errors. M ./compiler/main/ErrUtils.lhs +4 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080914160337-7c5c6-e95ba9daa25867683a4c89601057a50e07c92504.gz __

RE: Types in RULES

[Widening to cvs-ghc; read Roman's message below first.] Roman How annoying. You're right, it's impossible, because the 't' isn't mentioned in the type of 'f', or 'x'. What would we like to write? Perhaps something like "myrule" forall (type t :: *->*) (f :: a->a) x. from (tmap f (to x :

Re: Strange permissions when installing HEAD

On Sun, Sep 14, 2008 at 1:49 PM, Ian Lynagh <[EMAIL PROTECTED]> wrote: > On Sat, Sep 13, 2008 at 02:46:14PM +0100, Ian Lynagh wrote: >> On Fri, Sep 12, 2008 at 11:07:18PM -0700, Tim Chevalier wrote: >> > >> > -rwx-- 1 root root 134 2008-09-12 22:28 ghc-6.9.20080912 >> >> Thanks for the repo

Re: Patch for support of rich token stream in GHC

2008/9/12 Simon Marlow <[EMAIL PROTECTED]>: > Thanks Chaddaï. Your patch seems to have some conflict markers in it, > though: > > Could you fix these up and resubmit? > I have fixed these, sorry for the delay : Mon Sep 15 10:33:30 CEST 2008 "Chaddai Fouche" <[EMAIL PROTECTED]> * RichTokenStr

RE: Splitting off ext-core library?

No objections from me. Sounds like a good idea. Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Tim | Chevalier | Sent: 12 September 2008 03:03 | To: Cvs-ghc@haskell.org | Subject: Splitting off ext-core library? | | I think it would probably b

patch applied (ghc): Slightly more helpful panic message in DynFlags

Mon Sep 15 01:06:50 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]> * Slightly more helpful panic message in DynFlags M ./compiler/main/DynFlags.hs -1 +1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080915080650-d61e2-6d2ce67e92e9f09b4f98fead9f5f2e11e989d726.gz

RE: too many specialisations for one function

Hi Simon, > In general, it's harmless. I set an arbitrary limit on how > many different specializations SpecConstr would make, and you > are hitting it. (Only happens with a compiler built with -DDEBUG.) I have "BuildFlavour = perf", which should imply no -DDEBUG, as far as I can tell. > Mea

Daily report for head

Build results: x86-64 Linux head:fail (failed stage1) x86 Windows head: lost x86 Windows head fast:pass pass pass pass fail (failed stage1) fail (failed getsubrepos) lost fast486 head: pass gabor head: pass kgardas head:

Daily report for stable

Build results: tnaur PPC OSX stable 2: pass x86 Windows stable: fail (failed stage1) x86 Windows stable fast: pass pass pass pass pass lost x86-64 Linux stable: fail (failed stage1) Old unexpected test failures: TyFamUndec 4 gabor stable barton-mangler-bug 1 tnaur x8