[GHC] #10837: Constant-time indexing of closed type family axioms
GHC
ghc-devs at haskell.org
Mon Sep 21 16:02:17 UTC 2015
#10837: Constant-time indexing of closed type family axioms
-------------------------------------+-------------------------------------
Reporter: jstolarek | Owner:
Type: task | Status: patch
Priority: low | Milestone:
Component: Compiler | Version: 7.11
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time | Unknown/Multiple
performance bug | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Revisions: Phab:D1261
-------------------------------------+-------------------------------------
Comment (by Richard Eisenberg <eir@…>):
In [changeset:"cd2840a784f4136a8cfdb704124e892430ad9ead/ghc" cd2840a/ghc]:
{{{
#!CommitTicketReference repository="ghc"
revision="cd2840a784f4136a8cfdb704124e892430ad9ead"
Refactor BranchLists.
Now we use Array to store branches. This makes sense because we often
have to do random access (once inference is done). This also vastly
simplifies the awkward BranchList type.
This fixes #10837 and updates submodule utils/haddock.
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10837#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list