very minor edits
authorJoao Dias <dias@cs.tufts.edu>
Sat, 12 Jun 2010 00:28:46 +0000 (20:28 -0400)
committerJoao Dias <dias@cs.tufts.edu>
Sat, 12 Jun 2010 00:28:46 +0000 (20:28 -0400)
paper/dfopt.tex

index b995d65..a3eb05f 100644 (file)
@@ -2878,7 +2878,7 @@ We~have written a version of \hoopl\ in which this overhead is
 eliminated by defining two separate functions: one to compute the
 fixed point, and the other to produce the rewritten graph.
 The version we present in \secref{engine} is much simpler and easier
-to maintain, but we don't know the real cost of the additional
+to maintain, but we don't know the cost of the additional
 allocations.
 \item
 The representation of a forward-transfer function is private to
@@ -2932,12 +2932,11 @@ Within GHC, \hoopl's API supports not only
 dataflow optimizations,
 but also optimizations based on control flow,
 such as eliminating branch chains.
-We have not contemplated trying
-to extend Hoopl to establish or maintain SSA invariants.
+We have not tried
+to~extend Hoopl to establish or maintain SSA invariants.
 
 \item
-Another way to evaluate how easy it is to write an optimization
-is to examine the API.
+Another way is to examine the API.
 One good sign about the API is that it supports many higher-order
 combinators that make it easier to write client code. % with simple, expressive types.
 We~have had space to mention only a few: 
@@ -2956,7 +2955,7 @@ out well;
 % especially because it applies equally to nodes, blocks, and graphs.
 shapes may
 seem like a small refinement, but they helped eliminate a number of
-bugs from GHC, and we expect them to help clients. 
+bugs from GHC, and we expect them to help other clients as well.
 GADTs are a convenient way to express shapes, and for clients
 written in Haskell, they are clearly appropriate.
 If~one wished to port \hoopl\ to a language without GADTs,
@@ -2975,7 +2974,7 @@ tedious and error-prone.
 % use \emph{only} the triple-of-functions interface described in
 % \secref{triple-of-functions}.
 
-From the perspective of a maintainer of \hoopl,
+From the perspective of maintaining \hoopl,
 the implementation is a clear improvement over previous implementations
 of similar ideas.
 % The implementation is more difficult to evaluate than the~API.