diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2021-09-23 12:31:38 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-10-22 19:20:44 -0400 |
| commit | 6fd7da745a518a93f6685171701a27283cfe2d4e (patch) | |
| tree | 9feb7db12f7d892e960af948b7ebbf271dd0ff3f /compiler/GHC/Unit.hs | |
| parent | fa5870d3ac0a64515d3e76af256e81b9dc8590bd (diff) | |
| download | haskell-6fd7da745a518a93f6685171701a27283cfe2d4e.tar.gz | |
Remove Indefinite
We no longer need it after previous IndefUnitId refactoring.
Diffstat (limited to 'compiler/GHC/Unit.hs')
| -rw-r--r-- | compiler/GHC/Unit.hs | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/compiler/GHC/Unit.hs b/compiler/GHC/Unit.hs index 2c33314429..d5d338e549 100644 --- a/compiler/GHC/Unit.hs +++ b/compiler/GHC/Unit.hs @@ -153,10 +153,6 @@ synonyms, classes, etc.) to typecheck modules depending on them but not enough to compile them. As such, indefinite units found in databases only provide module interfaces (the .hi ones this time), not object code. -To distinguish between indefinite and definite unit ids at the type level, we -respectively use 'IndefUnitId' and 'DefUnitId' datatypes that are basically -wrappers over 'UnitId'. - Unit instantiation / on-the-fly instantiation --------------------------------------------- @@ -224,7 +220,7 @@ on-the-fly: 'InstantiatedUnit' has two interesting fields: - * instUnitInstanceOf :: IndefUnitId + * instUnitInstanceOf :: UnitId -- ^ the indefinite unit that is instantiated * instUnitInsts :: [(ModuleName,(Unit,ModuleName)] @@ -267,7 +263,7 @@ themselves. It is a reminiscence of previous terminology (when "instanceOf" was , ... } -TODO: We should probably have `instanceOf :: Maybe IndefUnitId` instead. +TODO: We should probably have `instanceOf :: Maybe UnitId` instead. Note [Pretty-printing UnitId] |