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

Build description = STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/STABLE Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx Nightly build started on cam-02-unx at Sun Apr 13 18:10:02 BST 2008. checki

patch applied (ghc): Revive External Core typechecker

Sun Apr 13 19:46:48 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]> * Revive External Core typechecker The typechecker works again! Yay! Details upon request. M ./utils/ext-core/Check.hs -84 +304 M ./utils/ext-core/Core.hs -9 +55 M ./utils/ext-core/Driver.hs -62 +134 M ./ut

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

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 Sun Apr 13 18:00:02 BST 2008. checking out

patch applied (ghc): Eta-expand newtype coercions in External Core

Sun Apr 13 20:16:54 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]> * Eta-expand newtype coercions in External Core Typechecking External Core is easier if we eta-expand axioms in newtype declarations. For a fuller explanation, see: http://www.haskell.org/pipermail/cvs-ghc/2008-April/041948.

patch applied (ghc): Extra info in genprimopcode --make-ext-core-source

Sun Apr 13 19:54:07 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]> * Extra info in genprimopcode --make-ext-core-source The ext-core typechecker needs to know what types are valid for various kinds of literals, so I changed genprimopcode to dump out that information as well with --make-e

Re: Dodgy newtype axioms

On 4/13/08, Tim Chevalier <[EMAIL PROTECTED]> wrote: > For other reasons, I decided it was better to re-eta-expand newtype > declarations before printing out External Core, and this fixed the > problem I described below. But I'd still be curious whether you agree > that something mildly disturbi

Re: Dodgy newtype axioms

For other reasons, I decided it was better to re-eta-expand newtype declarations before printing out External Core, and this fixed the problem I described below. But I'd still be curious whether you agree that something mildly disturbing is going on here (the disturbing thing can be summarized as:

Daily report for head

Build results: ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

Daily report for stable

Build results: ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc