From dbb11bec242478836c7522959569cfc8fc024750 Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Thu, 7 Feb 2013 03:22:43 -0500
Subject: [PATCH] Minor documentation tweaks

---
 src/Dyna/Analysis/ANF.hs    | 8 +++++---
 src/Dyna/Analysis/Base.hs   | 8 ++++----
 src/Dyna/ParserHS/Parser.hs | 4 ++--
 3 files changed, 11 insertions(+), 9 deletions(-)

diff --git a/src/Dyna/Analysis/ANF.hs b/src/Dyna/Analysis/ANF.hs
index 9580248..c59ad1b 100644
--- a/src/Dyna/Analysis/ANF.hs
+++ b/src/Dyna/Analysis/ANF.hs
@@ -35,7 +35,7 @@
 -- we need to end up.  Especially of note is that we do not yet parse any
 -- sort of pragmas for augmenting our disposition list.
 --
--- XXX The handling for "is/2" is probably wrong, but differently wrong than
+-- XXX The handling for \"is/2\" is probably wrong, but differently wrong than
 -- before, at least.
 --
 -- XXX We really should do some CSE/GVN somewhere right after this pass, but
@@ -60,7 +60,6 @@
 --     against this.
 --
 
-
 -- Header material                                                      {{{
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
@@ -70,7 +69,10 @@
 
 module Dyna.Analysis.ANF (
     ANFState(..),  Rule(..),
-    normTerm, normRule, runNormalize, printANF
+    normTerm, normRule, runNormalize, printANF,
+
+	-- * Internals
+	SelfDispos(..), ArgDispos(..), ECSrc(..), EvalCtx,
 ) where
 
 import           Control.Monad.Reader
diff --git a/src/Dyna/Analysis/Base.hs b/src/Dyna/Analysis/Base.hs
index 85877e1..e708a6b 100644
--- a/src/Dyna/Analysis/Base.hs
+++ b/src/Dyna/Analysis/Base.hs
@@ -100,10 +100,10 @@ data DOpAMine fbs
               -- | Check that two dvars are not equal.  This is used to
               -- prevent double-counting of hyper-edges when any of their
               -- tails can be made to be the same item by specialization.
-              -- 
-              -- XXX While inspired by Blatz & Eisner 2006, it's unclear
-              -- that this is actually what we should be doing.  Oh well,
-              -- live and learn.
+              --
+              -- XXX While inspired by (Eisner, Goldlust, and Smith 2005),
+              -- it's unclear that this is actually what we should be doing.
+              -- Oh well, live and learn.
               | OPCkne     DVar        DVar                      -- ++
 
               -- | Check that the input dvar is an interned representation
diff --git a/src/Dyna/ParserHS/Parser.hs b/src/Dyna/ParserHS/Parser.hs
index 3734d53..97a40c6 100644
--- a/src/Dyna/ParserHS/Parser.hs
+++ b/src/Dyna/ParserHS/Parser.hs
@@ -9,11 +9,11 @@
 --
 --   * We might want to use T.T.Literate, too, in the end.
 --
---   * Doesn't understand dynabase literals ("{ ... }")
+--   * Doesn't understand dynabase literals (\"{ ... }\")
 --
 --   * Doesn't handle parenthesized aggregators
 --
---   * Doesn't handle shared subgoals ("whenever ... { ... }")
+--   * Doesn't handle shared subgoals (\"whenever ... { ... }\")
 --
 --   * Doesn't understand nullary star for gensym correctly
 --      (it's a available in term context but not texpr context;
-- 
2.50.1