External Core available in HEAD

Hi, GHC hackers and interested parties-- I believe the External Core front-end, as well as the stand-alone parser and typechecker, are working in the GHC HEAD (as of today). There are a few minor bugs documented in the README file in utils/ext-core. The documentation is also up-to-date, and lives

patch applied (ghc): Improve External Core syntax for newtypes

Mon Apr 21 21:52:44 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]> * Improve External Core syntax for newtypes I was confused by the newtype eta-contraction trick before. Newtype declarations are much less redundant now. M ./compiler/coreSyn/ExternalCore.lhs -4 +1 M ./compiler/coreSy

patch applied (ghc): Update External Core docs

Mon Apr 21 21:43:42 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]> * Update External Core docs Update documentation to reflect GHC HEAD. M ./docs/ext-core/Makefile -10 +8 A ./docs/ext-core/core.bib M ./docs/ext-core/core.tex -410 +263 View patch online: http://darcs.haskell.org/gh

[nightly] 21-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 Mon Apr 21 18:00:01 BST 2008. checking out

patch applied (ghc): External Core typechecker - improve handling of coercions

Mon Apr 21 18:56:22 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]> * External Core typechecker - improve handling of coercions Reorganized coercion-related code in the typechecker (this was brought about by typechecking the Core versions of the optimized GHC libraries.) A few miscellaneous

patch applied (ghc): Naming changes in External Core

Mon Apr 21 18:27:34 PDT 2008 Tim Chevalier <[EMAIL PROTECTED]> * Naming changes in External Core Two changes: - Top-level bindings in a given module are now printed as a single %rec group. I found that in External Core generated from optimized code, nonrec bindings weren't being

Another question about subkinds in Core

For the ghc-prim:PrimopWrappers module, GHC generates some External Core bindings that look like: ghc-prim:GHC.PrimopWrappers.touch# :: %forall t . t -> (State# RealWorld) -> (Stat

Re: Dodgy newtype axioms

So would it be correct to claim that: if k1 <: k2 and (T1::k1) and (t2::k2) for some type T1 and tyvar t2 and A :=: B is an equality axiom then A[T1/t2] :=: B[T1/t2] ? (Not asking for a proof or anything, just whether I'm drawing the correct conclusion from your explanation.) Thanks, Tim -- Ti

Re: windows HEAD build fails

Claus Reinke wrote: -buildbot make[3]: Entering directory `/buildbot/x86-win-head/build/compiler' ../compiler/stage1/ghc-inplace -no-user-package-conf -H16m -O -package ghc -Istage2 -cpp -fglasgow-exts -fno-generics -Rghc-timing -I. -IcodeGen -InativeGen -Iparser -Rghc-timi

[nightly] 21-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 Mon Apr 21 18:10:01 BST 2008. checki

patch applied (ghc): Add clarifying comments about unsafeCoerce

Mon Apr 21 08:21:30 PDT 2008 [EMAIL PROTECTED] * Add clarifying comments about unsafeCoerce M ./compiler/prelude/primops.txt.pp -1 +8 View patch online: http://darcs.haskell.org/ghc/_darcs/patches/20080421152130-1287e-4e8e50b2758883bee9b5e60c453758ab7668654f.gz ___

Daily report for head

Build results: x86-64 Linux head: fail (failed stage1) x86 Windows head:fail (failed darcs) x86 Windows head fast: pass pass lost fail (failed darcs) pass pass gabor head: pass tnaur PPC OSX head 2:fail (failed darcs) tnaur x86 Linux head:pass x86-64 Linux head

Daily report for stable

Build results: tnaur PPC OSX stable:pass tnaur PPC OSX stable 2: fail (failed darcs) fail (failed darcs) fail (failed stage2) x86 Windows stable fast: pass pass lost fail (failed darcs) fail (failed stage1) pass x86-64 Linux stable: pass New unexpected test failures: ffi002