Link error when compiling with -fhpc

[guest]

I've attached a version of Lava and simple program Main.hs. Compiling without -fhpc works fine, but with -fhpc, gives a link error (Neil says it's trying to find the 74 element tupe and can't).

[guest]

Forgot to pase the exact error message:

Linking gencirc ... ../Lava2000/Modules/Vhdl.o: In function `s13oq_info': (.text+0xbd5): undefined reference to `base_DataziTuple_Z74T_con_info' collect2: ld returned 1 exit status

[igloo]

Thanks for the report. I don't know how easy this will be to fix, but let's put it in the 6.8.3 milestone for now.

[igloo]

Vhdl.hs is a small, self-contained example. Compile with:

ghc --make Vhdl.hs -o gencirc

As I understand it GHC is supposed to generate large tuples and then have them disappear later on. My guess is that the HPC ticks are interfering with the elimination, but I'm not sure where that is supposed to happen.

[simonpj]

Fixed by

  * Fix Trac #2045: use big-tuple machiney for implication constraints

    M ./compiler/deSugar/DsUtils.lhs -5 +5
    M ./compiler/typecheck/TcSimplify.lhs -8 +8

Might be worth trying to merge this to the 6.8 branch

Simon

[simonpj]

Oops: you also need this patch too, sorry

Thu Jun  5 17:54:34 BST 2008  simonpj@microsoft.com
  * Vital follow-up to fix of Trac #2045