Opened 13 years ago

Closed 13 years ago

#24 closed defect (fixed)

Unneeded Elt constraint in type of traverse functions

Reported by: Ben Lippmeier Owned by:
Priority: normal Milestone:
Component: library Version: 2.0.0.3
Keywords: Cc:

Description

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

Change History (1)

comment:1 Changed 13 years ago by Ben Lippmeier

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.