fix malformed type in rewrite example in paper
authorNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 03:34:15 +0000 (23:34 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 03:34:15 +0000 (23:34 -0400)
paper/dfopt.tex

index 06b85ba..c9387df 100644 (file)
@@ -1729,7 +1729,7 @@ rewritten,
 and the second continuation~@n@ is the result when the graph is not
 rewritten.
 \begin{smallcode}
-rewrite :: Monad m => FwdRewrite m n f -> -> n e x -> f
+rewrite :: Monad m => FwdRewrite m n f -> n e x -> f
         -> m (Maybe (Graph n e x, FwdRewrite m n f))
 `rewrite ^rs node f = rew rs (return . Just) (return Nothing)
  where