diff options
author | Divam Narula <dfordivam@protonmail.com> | 2021-05-20 22:42:42 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-20 15:42:42 +0200 |
commit | 212f5302995cae9884aff924f0d53597bd77e9c2 (patch) | |
tree | eacf320f11294dabd02398526875f42cdd469ee1 /hoogle-test/ref/Bug825 | |
parent | a1337c599ef7720b0482a25c55f11794112496dc (diff) |
Update ref, the variables got renamed. (#1391)
This is due to ghc/ghc!5555 which caused a change in ModDetails in case of
NoBackend. Now the initModDetails is used to recreate the ModDetails from
interface and in-memory ModDetails is not used.
Diffstat (limited to 'hoogle-test/ref/Bug825')
0 files changed, 0 insertions, 0 deletions