Ticket #169 (closed defect: duplicate)

Opened 5 years ago

Last modified 5 years ago

Module exporter re-exports projections it has imported

Reported by: erikd Owned by:
Priority: blocker Milestone: 0.1.3
Component: Unknown Version: 0.1.2
Keywords: Cc:

Description

With a simple module that defines a new projection on Data.List like this:

module Foo

project List where
	count = length

the exporter (src/Module/Exporter.hs) for this exports the following projections for module Foo:

project Data.List.List %rDK125 where
{
        x = project_List_x;
        xs = project_List_xs;
        ref_x = project_List_ref_x;
        ref_xs = project_List_ref_xs;
        count = project_List_count;
}

where the first 4 are projections already defined in Data.List. Only the last projection (count) should actually be exported from this module.

Change History

Changed 5 years ago by erikd

  • status changed from new to closed
  • resolution set to duplicate

Trac is annoying sometimes.

Deleting duplicate ticket.

Note: See TracTickets for help on using tickets.