Opened 9 years ago

Closed 9 years ago

#24 closed defect (fixed)

Unneeded Elt constraint in type of traverse functions

Reported by: benl Owned by:
Priority: normal Milestone:
Component: library Version:
Keywords: Cc:


traverse2 has an Elt constraint for the element type of the result array, but plain traverse doesn't.

Change History (1)

comment:1 Changed 9 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.