diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-01-02 19:13:44 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-06 18:39:22 -0500 |
| commit | 99a9f51bf8207c79241fc0b685fadeb222a61292 (patch) | |
| tree | 63daf74031c47b7a680477a21bba505bf2d32701 /compiler/types/FamInstEnv.hs | |
| parent | 5ffea0c6c6a2670fd6819540f3ea61ce6620caaa (diff) | |
| download | haskell-99a9f51bf8207c79241fc0b685fadeb222a61292.tar.gz | |
Module hierarchy: Iface (cf #13009)
Diffstat (limited to 'compiler/types/FamInstEnv.hs')
| -rw-r--r-- | compiler/types/FamInstEnv.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/types/FamInstEnv.hs b/compiler/types/FamInstEnv.hs index a21933c631..0cf329c4ca 100644 --- a/compiler/types/FamInstEnv.hs +++ b/compiler/types/FamInstEnv.hs @@ -245,7 +245,7 @@ pprFamInsts finsts = vcat (map pprFamInst finsts) Note [Lazy axiom match] ~~~~~~~~~~~~~~~~~~~~~~~ It is Vitally Important that mkImportedFamInst is *lazy* in its axiom -parameter. The axiom is loaded lazily, via a forkM, in TcIface. Sometime +parameter. The axiom is loaded lazily, via a forkM, in GHC.IfaceToCore. Sometime later, mkImportedFamInst is called using that axiom. However, the axiom may itself depend on entities which are not yet loaded as of the time of the mkImportedFamInst. Thus, if mkImportedFamInst eagerly looks at the |