diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-03-30 09:55:05 +0100 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2022-03-30 09:55:49 +0100 |
| commit | 43da296365ddbbb807dead5e97720504ce729660 (patch) | |
| tree | 89413be0d420a5204d500bd445e318d5de8cefbb | |
| parent | 21894a6318e0daffa0e34041855c3c73ad1f5b6f (diff) | |
| download | haskell-wip/t21303.tar.gz | |
Fix mention of non-existent "rehydrateIface" function [skip ci]wip/t21303
Fixes #21303
| -rw-r--r-- | compiler/GHC/Driver/Make.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Driver/Make.hs b/compiler/GHC/Driver/Make.hs index 0c41dbbda6..c4858d04b0 100644 --- a/compiler/GHC/Driver/Make.hs +++ b/compiler/GHC/Driver/Make.hs @@ -2412,7 +2412,7 @@ fully cyclic structure, in which `S` refers to `T` and `T` refers to `S`. Solution: **rehydration**. *Before compiling `R.hs`*, rehydrate all the ModIfaces below it that depend on R.hs-boot. To rehydrate a ModIface, call -`rehydrateIface` to convert it to a ModDetails. It's just a de-serialisation +`typecheckIface` to convert it to a ModDetails. It's just a de-serialisation step, no type inference, just lookups. Now `S` will be bound to a thunk that, when forced, will "see" the final binding |