« Previous | Next » 

Revision 17c59f4b


Added by Iustin Pop almost 15 years ago

Remove unused parameters from PeerMap creation

We remove some unused arguments (added way back for compatibility with
Arrays, which we didn't use in the end). This makes the code clearer
(and doesn't need the Ndx type to be an instance of Num).


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences