Skip to content

Specialise should use OrdList instead of Bag

Specialise uses Bag to represent (a telescope of) floated dictionaries bindings. It heavily relies on the order of elements, thus it's a bad fit for Bag. It should use OrdList instead.

Part of #17421.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information