diff options
| -rw-r--r-- | compiler/main/Packages.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/main/Packages.lhs b/compiler/main/Packages.lhs index a6ecb1622b..c240956e4d 100644 --- a/compiler/main/Packages.lhs +++ b/compiler/main/Packages.lhs @@ -864,8 +864,8 @@ mkModuleMap pkg_db ipid_map = foldr extend_modmap emptyUFM pkgids pkgids = map packageConfigId (eltsUFM pkg_db) extend_modmap pkgid modmap = addListToUFM_C (plusUFM_C merge) modmap es - where -- ASSERT(m == m' && pkg == pkg' && e == e' - -- && (e || not (v || v'))) + where -- Invariant: m == m' && pkg == pkg' && e == e' + -- && (e || not (v || v')) -- Some notes about the assert. Merging only ever occurs when -- we find a reexport. The interesting condition: -- e || not (v || v') |