Skip to content

Rename `consBag`/`snocBag` to `extendBag` and use `OrdList` where order matters

Motivation

See this mailing list thread.

In short: Bag is documented to be an "unordered collection", so it doesn't make sense that there is both consBag and snocBag.

Proposal

  • Rename consBag/snocBag to extendBag
  • Use OrdList instead in code that actually relies on the order in which elements are inserted into the Bag
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information