Ticket #2991 (new bug)

Opened 3 years ago

Last modified 4 months ago

.mix files generation broken with -fhpc and --make flags with lhs modules

Reported by: ppavel Owned by: andy@…
Priority: lowest Milestone: 7.6.1
Component: Code Coverage Version: 6.10.1
Keywords: hpc make lhs Cc: andygill@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

assume the project consisting of two files: !Main.lhs and MyModule.hs. Main.lhs imports MyModule via standard import. Build the project with

ghc --make -fhpc -o main Main.lhs

The generated .mix file contains relevant information and hpc markup correctly shows the coverage for MyModule.

Now rename MyModule.hs to MyModule.lhs and enclose the code there in \begin{code} / \end{code}. Build again. The compilation still succeeds and the executable works fine. But MyModule.mix now seems wrong and no hpc coverage information is available for MyModule

Change History

Changed 3 years ago by igloo

  • difficulty set to Unknown
  • milestone set to 6.10.2

Thanks for the report

Changed 3 years ago by simonmar

  • cc andygill@… added

Andy, any chance you could look at this?

Changed 3 years ago by igloo

  • milestone changed from 6.10.2 to 6.12 branch

Changed 3 years ago by igloo

  • owner set to andy@…
  • component changed from Compiler to Code Coverage

See also #3191.

Changed 2 years ago by igloo

  • milestone changed from 6.12 branch to 6.12.3

Changed 2 years ago by igloo

  • priority changed from normal to low
  • milestone changed from 6.12.3 to 6.14.1

Changed 18 months ago by igloo

  • milestone changed from 7.0.1 to 7.0.2

Changed 15 months ago by igloo

  • milestone changed from 7.0.2 to 7.2.1

Changed 8 months ago by igloo

  • milestone changed from 7.2.1 to 7.4.1

Changed 4 months ago by igloo

  • priority changed from low to lowest
  • milestone changed from 7.4.1 to 7.6.1
Note: See TracTickets for help on using tickets.