patch applied (testsuite): Add a test for "bad flag" errors

2008-08-26 Thread Ian Lynagh
Tue Aug 26 11:54:34 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Add a test for "bad flag" errors M ./tests/ghc-regress/parser/should_fail/all.T +1 A ./tests/ghc-regress/parser/should_fail/read044.hs A ./tests/ghc-regress/parser/should_fail/read044.stderr View patch online: http://dar

patch applied (testsuite): Fix some tests: T2310, T2486, FD2

2008-08-26 Thread Ian Lynagh
Tue Aug 26 11:32:23 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Fix some tests: T2310, T2486, FD2 M ./tests/ghc-regress/rename/should_fail/T2310.hs -1 +1 M ./tests/ghc-regress/simplCore/should_run/T2486.stderr -4 +4 M ./tests/ghc-regress/typecheck/should_compile/FD2.hs -1 +1 View pat

patch applied (ghc): Give locations of flag warnings/errors

2008-08-26 Thread Ian Lynagh
Tue Aug 26 11:56:41 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Give locations of flag warnings/errors M ./compiler/basicTypes/SrcLoc.lhs +4 M ./compiler/ghci/InteractiveUI.hs -4 +4 M ./compiler/main/CmdLineParser.hs -12 +24 M ./compiler/main/DriverPipeline.hs -5 +4 M ./compil

patch applied (ghc): Remove a now-redundant comment

2008-08-26 Thread Ian Lynagh
Tue Aug 26 11:26:29 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Remove a now-redundant comment M ./compiler/main/DynFlags.hs -1 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080826182629-3fd76-4104a6be898f3e0df1183c741ebacfba06005360.gz ___

patch applied (ghc): Separate the static flag parser from the static global variables

2008-08-26 Thread Ian Lynagh
Tue Aug 26 08:56:12 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Separate the static flag parser from the static global variables This allows us to avoid a module import loop: CmdLineParser -> SrcLoc -> Outputable -> StaticFlags -> CmdLineParser M ./compiler/ghc.cabal +1 M ./compiler/m

patch applied (ghc): Move pprFastFilePath from SrcLoc to Outputable

2008-08-26 Thread Ian Lynagh
Tue Aug 26 07:44:52 PDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Move pprFastFilePath from SrcLoc to Outputable M ./compiler/basicTypes/SrcLoc.lhs -4 M ./compiler/utils/Outputable.lhs +5 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080826144452-3fd76-64b9f791351ed5c7c7

Re: After enjoying a working GHC HEAD build for a few days...

2008-08-26 Thread Manuel M T Chakravarty
Simon Peyton-Jones: | What's the objective here? For me the objective is to say "make validate" and come back later to find a list of things that need fixing. Stopping at the *first* error is unhelpful, because it means there's an hour or two (and therefore because of other constraints a

Re: GHC's build system

2008-08-26 Thread Manuel M T Chakravarty
Simon Peyton-Jones: There's been quite a bit of discussion about GHC's build system recently, and in particular about the use of Cabal. Responding to that discussion we now have a new plan, described here: http://hackage.haskell.org/trac/ghc/wiki/Design/BuildSystem If you've taken a

patch applied (/haskell/ghc): Fix typo and update shootout name; spotted by Don Stewart

2008-08-26 Thread Ian Lynagh
Tue Aug 26 20:03:50 EDT 2008 Ian Lynagh <[EMAIL PROTECTED]> * Fix typo and update shootout name; spotted by Don Stewart M ./index.html -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

[nightly] 26-Aug-2008 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

2008-08-26 Thread GHC Build Reports
Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/HEAD Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Tue Aug 26 18:02:05 BST 2008. checking out

Re: Types of generated data constructors for dictionaries

2008-08-26 Thread pepe
On 26/08/2008, at 13:30, Simon Peyton-Jones wrote: | E.g., the type below is generated for :DNum, the datacon of a Num | dictionary. | At least, this is what :print obtains from a tcLookupDatacon on :DNum. | | :DNum ::(a -> a -> a) | -> (a -> a -> a) |

GHC's build system

2008-08-26 Thread Simon Peyton-Jones
Friends There's been quite a bit of discussion about GHC's build system recently, and in particular about the use of Cabal. Responding to that discussion we now have a new plan, described here: http://hackage.haskell.org/trac/ghc/wiki/Design/BuildSystem If you've taken an interest in

Re: Daily report for head

2008-08-26 Thread Duncan Coutts
On Tue, 2008-08-26 at 14:45 +0100, Simon Marlow wrote: > > We can hack it for the special case of base, or try and be slightly more > > general and not complain when the two versions that get pulled in > > directly depend on each other. In general there's no simple way for > > Cabal to know if usi

Re: Daily report for head

2008-08-26 Thread Simon Marlow
Duncan Coutts wrote: On Tue, 2008-08-26 at 09:40 +0100, Simon Marlow wrote: Claus Reinke wrote: Of course, warnings like Configuring html-1.0.1.1... Warning: This package indirectly depends on multiple versions of the same package. This is highly likely to cause a compile failure.

Re: Daily report for head

2008-08-26 Thread Duncan Coutts
On Tue, 2008-08-26 at 09:40 +0100, Simon Marlow wrote: > Claus Reinke wrote: > > > Of course, warnings like > >Configuring html-1.0.1.1... > >Warning: This package indirectly depends on multiple versions of the > > same > >package. This is highly likely to cause a compile failure. > >

patch applied (ghc): Fix flaggery for RULES (cf Trac #2497)

2008-08-26 Thread Simon Peyton Jones
Tue Aug 26 05:21:21 PDT 2008 [EMAIL PROTECTED] * Fix flaggery for RULES (cf Trac #2497) This patch executes the plan described in the discussion in Trac #2497. Specficially: * Inside a RULE, switch on the forall-as-keyword in the lexer, unconditionally. (Actually this is

patch applied (ghc): always treat 'forall' and '.' as reserved keywords inside RULES pragmas

2008-08-26 Thread Simon Peyton Jones
Wed Aug 20 06:29:11 PDT 2008 Simon Marlow <[EMAIL PROTECTED]> * always treat 'forall' and '.' as reserved keywords inside RULES pragmas M ./compiler/parser/Lexer.x -12 +21 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080820132911-12142-18402efce334713fec4fbbb6956ef26ef5

patch applied (ghc): Fix a nasty float-in bug

2008-08-26 Thread Simon Peyton Jones
Fri Aug 22 06:34:27 PDT 2008 [EMAIL PROTECTED] * Fix a nasty float-in bug This is a long-standing bug in FloatIn, which I somehow managed to tickle (it's actually surprisingly hard to provoke which is why it has not shown up before). The problem was that we had a specialisation li

patch applied (ghc): Make rule printing wobble less

2008-08-26 Thread Simon Peyton Jones
Thu Aug 21 05:31:00 PDT 2008 [EMAIL PROTECTED] * Make rule printing wobble less a) When generating specialisations, include the types in the name of the rule, to avoid having rules with duplicate names. (The rule name is used to put rules in canonical order for fingerprinting

RE: Types of generated data constructors for dictionaries

2008-08-26 Thread Simon Peyton-Jones
| E.g., the type below is generated for :DNum, the datacon of a Num | dictionary. | At least, this is what :print obtains from a tcLookupDatacon on :DNum. | | :DNum ::(a -> a -> a) | -> (a -> a -> a) | -> (a -> a -> a) |

Re: problem building HEAD out of the box.

2008-08-26 Thread Ian Lynagh
Hi Ben, On Tue, Aug 26, 2008 at 01:21:25PM +1000, Ben Lippmeier wrote: > > > -- it runs for a while then gives: > > > checking for strspn... yes > updating cache ./config.cache > creating ./config.status >

Types of generated data constructors for dictionaries

2008-08-26 Thread pepe
While modifying :print to further* show the representation of things, I got stuck at reconstructing dictionaries and the data constructors generated by GHC. For the purpose of experimenting I am using a simple GADT to embed a dictionary in a value: data Dict a where DictEq :: Eq x => x

Re: Daily report for head

2008-08-26 Thread Simon Marlow
Claus Reinke wrote: Of course, warnings like Configuring html-1.0.1.1... Warning: This package indirectly depends on multiple versions of the same package. This is highly likely to cause a compile failure. package html-1.0.1.1 requires base-3.0.3.0 package unique-0.1 requires ba

RE: After enjoying a working GHC HEAD build for a few days...

2008-08-26 Thread Simon Peyton-Jones
| What's the objective here? For me the objective is to say "make validate" and come back later to find a list of things that need fixing. Stopping at the *first* error is unhelpful, because it means there's an hour or two (and therefore because of other constraints a day or two) between itera

Daily report for stable

2008-08-26 Thread BuildBot Collator
Build results: fast486 stable: fail (failed darcs) kgardas stable: fail (failed stage1) malcolm stable: fail (failed darcs) mnemosyne x86-64 Gentoo stable: pass x86 Windows stable fast:pass pass pass pass Old unexpected test failures: Ty

Daily report for head

2008-08-26 Thread BuildBot Collator
Build results: x86 Windows head fast: pass pass pass pass tnaur PPC OSX head 2:pass x86-64 Linux head unreg: fail (failed darcs) Dropping unexpected test passes reports from builders not seen in 7 days: malcolm head Dropping unexpected test failures reports from builders not seen in 7