summaryrefslogtreecommitdiff
path: root/docs/users_guide/conf.py
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2019-07-23 14:30:46 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-07-25 17:25:26 -0400
commitcb495b3cb416be82e36dbb4eca10a68743ebc549 (patch)
treeecddeb512c0ff0f33f9ef2afc4502e3354779eaf /docs/users_guide/conf.py
parente07f0e2bec525a147518fceb139cad402e00ed8c (diff)
downloadhaskell-cb495b3cb416be82e36dbb4eca10a68743ebc549.tar.gz
Make DefUses = OrdList DefUse
Before, `type DefUses = [DefUse]`. But lists are a terrible choice of data structure here, as we frequently append to the right of a `DefUses`, which yields some displeasing asymptotics. Let's instead use `OrdList`, which has constant-time appending to the right. This is one step on the way to #10347.
Diffstat (limited to 'docs/users_guide/conf.py')
0 files changed, 0 insertions, 0 deletions