From: Michael D. Adams <t-madams@microsoft.com>
Date: Tue, 22 May 2007 13:53:05 +0000 (+0000)
Subject: A small move of the comments in ./compiler/cmm/Dataflow.hs
X-Git-Tag: Before_type_family_merge~642
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=77cc133da7af6961add020cab1ba9eadee3a0b67

A small move of the comments in ./compiler/cmm/Dataflow.hs
---

diff --git a/compiler/cmm/Dataflow.hs b/compiler/cmm/Dataflow.hs
index 7f9d0dc..0b84016 100644
--- a/compiler/cmm/Dataflow.hs
+++ b/compiler/cmm/Dataflow.hs
@@ -5,10 +5,7 @@ module Dataflow (
 --------------------------------------------------------------------------------
 
 -- Solve a fixed-point of a dataflow problem.
--- O(N+H*E) calls to update where
---   N = number of nodes,
---   E = number of edges,
---   H = maximum height of the lattice for any particular node.
+--
 -- dependants: map from nodes to those who's value depend on the argument node
 -- update:
 --   Given the node which needs to be updated, and
@@ -21,6 +18,11 @@ module Dataflow (
 -- state: some sort of state (usually a map)
 --        containing the initial value for each node
 --
+-- Complexity: O(N+H*E) calls to 'update' where
+--   N = number of nodes,
+--   E = number of edges,
+--   H = maximum height of the lattice for any particular node.
+--
 -- Sketch for proof of complexity:
 -- Note that the state is threaded through the entire execution.
 -- Also note that the height of the latice at any particular node