Skip to content
Snippets Groups Projects

Allow atomic update of NameCache in readHieFile

Closed Allow atomic update of NameCache in readHieFile
wz1000/ghc:hie-safe-api into master
Closed Zubin requested to merge wz1000/ghc:hie-safe-api into master

Without this it's not possible to concurrently read hie files in a safe manner.

Merge request reports

Merge request pipeline #18937 passed with warnings

Stage: lint
Stage: quick-build
Stage: build
Stage: full-build
Stage: cleanup
Stage: packaging
Stage: testing

Merge request pipeline passed with warnings for d85a7df7

Closed by Marge BotMarge Bot 5 years ago (May 6, 2020 8:41am UTC)

Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply