diff options
Diffstat (limited to 'compiler/cmm/Hoopl/Dataflow.hs')
-rw-r--r-- | compiler/cmm/Hoopl/Dataflow.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/cmm/Hoopl/Dataflow.hs b/compiler/cmm/Hoopl/Dataflow.hs index 4fbf42e607..29c7afedb4 100644 --- a/compiler/cmm/Hoopl/Dataflow.hs +++ b/compiler/cmm/Hoopl/Dataflow.hs @@ -763,7 +763,7 @@ normalizeGraph g = (mapGraphBlocks dropFact g, facts g) exitFacts (JustO (DBlock f b)) = mapSingleton (entryLabel b) f bodyFacts :: LabelMap (DBlock f n C C) -> FactBase f bodyFacts body = mapFoldWithKey f noFacts body - where f :: forall t a x. (NonLocal t) => Label -> DBlock a t C x -> LabelMap a -> LabelMap a + where f :: forall t a x. Label -> DBlock a t C x -> LabelMap a -> LabelMap a f lbl (DBlock f _) fb = mapInsert lbl f fb --- implementation of the constructors (boring) |