Re: [GHC] #7674: Separate StablePtr table from StableName table.

#7674: Separate StablePtr table from StableName table.
-------------------------------------+-------------------------------------
Reporter: EyalLotem | Owner: (none)
Type: task | Status: closed
Priority: normal | Milestone: 7.8.1
Component: Runtime System | Version: 7.6.2
Resolution: fixed | Keywords: rts
| stable_ptr stable_name performance
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: #15555 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by David Feuer
participants (1)
-
GHC