Re: darcs patch: implement prefix unboxed tuples syntax (#1509)

2008-01-03 Thread Isaac Dupree
Simon Peyton-Jones wrote: Hmm. I'm not sure you are done yet! What happens if you say map ((#,#) True) xs ? You'll probably end up with a link error, because there is no curried function (#,#). With a regular data type, we inject the (rather odd-looking) function (,) = \a \b

Re: unboxed types

2008-01-03 Thread Isaac Dupree
Malcolm Wallace wrote: It simply contains type signatures for exported functions, together with datatype, class, and instance decls. A signature for function 'foo' is preceded by a {-# NEED foo #-} pragma; a datatype or class decl is preceded by a similar pragma listing precisely the exported co

RE: darcs patch: make stage1 type-class-extension-free make stage1 type-class-extension-free (for ticket #1405)

2008-01-03 Thread Simon Peyton-Jones
PS: by all means amend-record... your patches have not been applied so we can simply delete them and use the new ones. | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Isaac Dupree | Sent: 28 December 2007 21:34 | To: cvs-ghc@haskell.org | Subject: dar

RE: darcs patch: make stage1 type-class-extension-free make stage1 type-class-extension-free (for ticket #1405)

2008-01-03 Thread Simon Peyton-Jones
Your enclosure was only 220bytes long, and seemed to be entirely blank. Try again? Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Isaac Dupree | Sent: 28 December 2007 21:34 | To: cvs-ghc@haskell.org | Subject: darcs patch: make stage1 type-c

patch applied (ghc): Remove -funfolding-update-in-place flag documentation

2008-01-03 Thread Simon Peyton Jones
Thu Jan 3 08:00:36 PST 2008 [EMAIL PROTECTED] * Remove -funfolding-update-in-place flag documentation This flag does nothing, and should have been removed ages ago. (GHC no longer does update-in-place.) MERGE to 6.8 branch M ./compiler/main/StaticFlags.hs -1 M ./docs/use

Re: validate fails

2008-01-03 Thread Simon Marlow
Isaac Dupree wrote: ]./validate #compiling ghc HEAD ... ../compiler/ghc-inplace -optc-Werror -optc-Wall -optc-W -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Waggregate-return -optc-I../includes -optc-I. -optc-Iparallel -optc-Ism -optc-D

patch applied (ghc): Fix warnings with newer gcc versions (I hope)

2008-01-03 Thread Simon Marlow
Thu Jan 3 06:03:38 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * Fix warnings with newer gcc versions (I hope) M ./includes/SMP.h -3 +3 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (ghc): FIX #1898: add a missing UNTAG_CLOSURE() in checkBlackHoles

2008-01-03 Thread Simon Marlow
Thu Jan 3 03:27:17 PST 2008 Simon Marlow <[EMAIL PROTECTED]> * FIX #1898: add a missing UNTAG_CLOSURE() in checkBlackHoles M ./rts/Schedule.c -1 +1 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Re: unboxed types

2008-01-03 Thread Malcolm Wallace
> > Module cycles have supported in nhc98 since forever, by simply > > providing a bootstrapping .hi file. > > yay! Is the format of this .hi file documented somewhere? It simply contains type signatures for exported functions, together with datatype, class, and instance decls. A signature for f

RE: darcs patch: implement prefix unboxed tuples syntax (#1509)

2008-01-03 Thread Simon Peyton-Jones
Hmm. I'm not sure you are done yet! What happens if you say map ((#,#) True) xs ? You'll probably end up with a link error, because there is no curried function (#,#). With a regular data type, we inject the (rather odd-looking) function (,) = \a \b. (a,b) and similarly for al

Re: unboxed types

2008-01-03 Thread Isaac Dupree
Malcolm Wallace wrote: Module cycles have supported in nhc98 since forever, by simply providing a bootstrapping .hi file. (Probably best stored in a different directory, referenced by a -Pdir flag, to avoid it being overwritten by the real generated .hi file.) yay! Is the format of this .hi fi

Re: unboxed types

2008-01-03 Thread Malcolm Wallace
Isaac Dupree <[EMAIL PROTECTED]> wrote: > extension matrix, am I right? (did the tabs work to format it?) The tabs worked, but the extension matrix is not exactly right. > [1] supported in darcs but not a released version? or was there a > recent nhc release supporting pattern-guards? Patt

boxed FastTypes

2008-01-03 Thread Isaac Dupree
while it isn't really relevant to the ghc porting work itself... For compilers in which FastInt = Int, _there is less strictness_ because of special treatment of unboxed types. Therefore it may be slower or even have memory leaks. To partially remedy this, What if in data types everywhere d

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

2008-01-03 Thread GHC Build Reports
Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/ghc/nightly/HEAD-cam-02-unx Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Wed Jan 2 19:30:03 GMT 2008. checkin

Re: darcs patch: fix #1839, #1463, by supporting ghc-pkg bulkqueries with substring matching

2008-01-03 Thread Simon Marlow
Claus Reinke wrote: register, update, FlagGlobalConfig, FlagConfig but all of these seem to expect exactly one file, to be stored in a single FilePath? am i missing something, or was this a wild goose chase?-) Just turn off self-globbing for ghc-pkg. Anyone using a sensible shell (i.e.

Re: unboxed types

2008-01-03 Thread Isaac Dupree
Simon Marlow wrote: Agreed. It's very difficult to test whether a particular change degrades performance, as it might only do so on certain examples. well, my other plan was to see if I could get -ddump-simpl to come out about the same... but looking at that is a little tricky with GHC's bui

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

2008-01-03 Thread GHC Build Reports
Build description = STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/ghc/nightly/STABLE-cam-02-unx Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx Nightly build started on cam-02-unx at Wed Jan 2 19:00:01 GMT 2008. c

Re: unboxed types

2008-01-03 Thread Simon Marlow
Isaac Dupree wrote: nativeGen/MachRegs uses unboxed tuples to contain FastInts, which may be unboxed. nativeGen/AsmCodeGen, nativeGen/RegAllocLinear, and utils/State each use unboxed tuples in return values of newtypes that are declared Monads -- efficiency of the tuple is the only excuse (n

Daily report for stable

2008-01-03 Thread BuildBot Collator
Build results: kahl G5 Gentoo Linux stable: pass macgyver PPC OSX stable: pass tnaur PPC OSX stable 2: fail (failed stage2) x86 Windows stable fast: fail (failed darcs) fail (failed darcs) lost x86-64 Linux stable: pass Dropping unexpected test passes reports from builders not

Daily report for head

2008-01-03 Thread BuildBot Collator
Build results: x86-64 Linux head:pass x86 Windows head fast:fail (failed stage1) fail (failed stage1) gabor head: pass kahl G5 Gentoo Linux head:pass mnemosyne x86-64 Gentoo head: pass tnaur PPC OSX head 2: fail (failed stage2) x86-64 Linux head unr