Minor documentation tweaks

diff --git a/src/Dyna/Analysis/ANF.hs b/src/Dyna/Analysis/ANF.hs
index 95802489f82329073fdd872d34ffc8c09760fc48..c59ad1be03b3e782e08b8716c2fa63c05cba7f57 100644 (file)
--- 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 85877e1a17d3e86028efde5ec706e11665f86a8f..e708a6b28e6aef9bd35292947a0fd0fec78c6bd9 100644 (file)
--- 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 3734d5376d10011ed59373b29cd0e320eeb99d54..97a40c6a4ffca9d4bd77456aeea79154a094ea60 100644 (file)
--- 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;