Commit b38e92f6 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Remove redundant constraints, discovered by -fwarn-redundant-constraints

parent d39ddd92
......@@ -736,7 +736,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)
......
......@@ -67,7 +67,7 @@ bodyUnion :: forall a . LabelMap a -> LabelMap a -> LabelMap a
bodyUnion = mapUnionWithKey nodups
where nodups l _ _ = error $ "duplicate blocks with label " ++ show l
bodyList :: NonLocal (block n) => Body' block n -> [(Label,block n C C)]
bodyList :: Body' block n -> [(Label,block n C C)]
bodyList body = mapToList body
addBlock :: NonLocal thing
......@@ -308,8 +308,7 @@ preorder_dfs :: NonLocal (block n) => Graph' block n O x -> [block n C C]
-- Better to get [A,B,C,D]
graphDfs :: (NonLocal (block n))
=> (LabelMap (block n C C) -> block n O C -> LabelSet -> [block n C C])
graphDfs :: (LabelMap (block n C C) -> block n O C -> LabelSet -> [block n C C])
-> (Graph' block n O x -> [block n C C])
graphDfs _ (GNil) = []
graphDfs _ (GUnit{}) = []
......
......@@ -20,9 +20,9 @@ import Compiler.Hoopl.Label
type Showing n = forall e x . n e x -> String
showGraph :: forall n e x . (NonLocal n) => Showing n -> Graph n e x -> String
showGraph :: forall n e x . Showing n -> Graph n e x -> String
showGraph node = g
where g :: (NonLocal n) => Graph n e x -> String
where g :: Graph n e x -> String
g GNil = ""
g (GUnit block) = b block
g (GMany g_entry g_blocks g_exit) =
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment