From 2fc9d256fc332f9a7dda5e7cfdb229e511d80d15 Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 25 Jan 2001 17:08:51 +0000 Subject: [PATCH] [project @ 2001-01-25 17:08:51 by simonpj] Add comment --- ghc/compiler/basicTypes/IdInfo.lhs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ghc/compiler/basicTypes/IdInfo.lhs b/ghc/compiler/basicTypes/IdInfo.lhs index 79073fa..76cb1f9 100644 --- a/ghc/compiler/basicTypes/IdInfo.lhs +++ b/ghc/compiler/basicTypes/IdInfo.lhs @@ -654,6 +654,10 @@ isn't necessarily correct in the transformed program. Also forget specialisations and unfoldings because they would need substitution to be correct. (They get pinned back on separately.) +Hoever, we REMEMBER loop-breaker and dead-variable information. The loop-breaker +information is used (for example) in MkIface to avoid exposing the unfolding of +a loop breaker. + \begin{code} zapFragileInfo :: IdInfo -> Maybe IdInfo zapFragileInfo info@(IdInfo {occInfo = occ, -- 1.7.10.4