[commit: hoopl] master: fix warnings (93a2d69)
Simon Marlow
marlowsd at gmail.com
Thu Jul 5 16:23:35 CEST 2012
Repository : ssh://darcs.haskell.org//srv/darcs/packages/hoopl
On branch : master
http://hackage.haskell.org/trac/ghc/changeset/93a2d6972ea52c60222731adf490767445640f1c
>---------------------------------------------------------------
commit 93a2d6972ea52c60222731adf490767445640f1c
Author: Simon Marlow <marlowsd at gmail.com>
Date: Thu Jul 5 13:28:42 2012 +0100
fix warnings
>---------------------------------------------------------------
src/Compiler/Hoopl/Dataflow.hs | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/Compiler/Hoopl/Dataflow.hs b/src/Compiler/Hoopl/Dataflow.hs
index 43af694..120c789 100644
--- a/src/Compiler/Hoopl/Dataflow.hs
+++ b/src/Compiler/Hoopl/Dataflow.hs
@@ -199,8 +199,8 @@ arfGraph :: forall m n f e x .
(NonLocal n, CheckpointMonad m) => FwdPass m n f ->
Entries e -> Graph n e x -> Fact e f -> m (DG f n e x, Fact x f)
arfGraph pass at FwdPass { fp_lattice = lattice,
- fp_transfer = transfer @ (FwdTransfer3 (ftr, mtr, ltr)),
- fp_rewrite = rewrite @ (FwdRewrite3 (frw, mrw, lrw)) } entries = graph
+ fp_transfer = transfer,
+ fp_rewrite = rewrite } entries = graph
where
{- nested type synonyms would be so lovely here
type ARF thing = forall e x . thing e x -> f -> m (DG f n e x, Fact x f)
@@ -732,7 +732,7 @@ normalizeGraph g = (mapGraphBlocks dropFact g, facts g)
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
- f lbl (DBlock f b) fb = mapInsert lbl f fb
+ f lbl (DBlock f _) fb = mapInsert lbl f fb
--- implementation of the constructors (boring)
More information about the Cvs-libraries
mailing list