Validate fails: Var/Type length mismatch: [] [s{tv a15I} [tv]]

Simon Peyton-Jones simonpj at
Fri May 31 10:47:30 CEST 2013

I don’t know about ghcpkg01.  About T149, I’m on a train and can’t check, but I think it’s a common-sub-expression test. It seems to be “working” now, but CSE is quite fragile (I have an idea for how to improve it, but no time to try it out).

I guess I’ll make it pass, but leave breadcrumbs not to be too surprised if it starts failing agai


From: Iavor Diatchki [mailto:iavor.diatchki at]
Sent: 31 May 2013 03:59
To: Simon Peyton-Jones; ghc-devs at
Subject: Re: Validate fails: Var/Type length mismatch: [] [s{tv a15I} [tv]]


sorry about this, I forgot to run validate, and I guess the core-lint did not run in my build.

I have fixed the problem, and this time I remembered to run "validate", which appears to have mostly worked, except for the 2 problems reported below.
I don't think that these are related to my change, but I don't really know, so I am not going to push the fix just yet.  Could you please advice on how to  investigate further?

PS: Is there some sort of a flag I could set in<> so that it always builds with warnings and core lint?  In some of my GHC trees this seems to happen, and in others it does not, and for me it'd be quite helpful if it always did.

Unexpected results from:
TEST="T149 ghcpkg01"

OVERALL SUMMARY for test run started at Thu May 30 19:47:24 PDT 2013
    3657 total tests, which gave rise to
   12141 test cases, of which
    8823 were skipped

      26 had missing libraries
    3233 expected passes
      57 expected failures

       0 caused framework failures
       1 unexpected passes
       1 unexpected failures

Unexpected passes:
   perf/should_run  T149 (normal)

Unexpected failures:
   cabal  ghcpkg01 [bad stderr] (normal)

On Thu, May 30, 2013 at 4:37 PM, Ian Lynagh <ian at<mailto:ian at>> wrote:
On Thu, May 30, 2013 at 09:33:43PM +0000, Simon Peyton-Jones wrote:
> I've pushed a fix.
Thanks, looks good.

The build then failed compiling GHC.TypeLits, so I've reverted

    commit f7fb908ad963f7180c30b55fba57a858b0391de4
    Author: Iavor S. Diatchki <diatchki at Perun.(none)<mailto:diatchki at Perun.(none)>>

which lets the build go through.


ghc-devs mailing list
ghc-devs at<mailto:ghc-devs at>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list