Skip to content
GitLab
Explore
Sign in
Register
Allow atomic update of NameCache in readHieFile
Code
Review changes
Check out branch
Download
Patches
Plain diff
Zubin
requested to merge
wz1000/ghc:hie-safe-api
into
master
May 02, 2020
Overview
16
Commits
1
Pipelines
6
Changes
4
Expand
Without this it's not possible to concurrently read hie files in a safe manner.
Merge request reports