Some small documentation improvements

gf.cabal

@@ -141,6 +141,7 @@ Library
   hs-source-dirs: src/compiler
   exposed-modules:
     GF
+    GF.Text.Pretty
 
   other-modules:
     GF.Main GF.Compiler GF.Interactive
@@ -247,7 +248,6 @@ Library
     GF.Text.Clitics
     GF.Text.Coding
     GF.Text.Lexing
-    GF.Text.Pretty
     GF.Text.Transliterations
     Paths_gf
 

src/compiler/GF.hs

@@ -9,18 +9,22 @@ module GF(
            module GF.CompileInParallel,
            module GF.CompileOne,
 
-           -- * Abstract syntax, parsing and pretty printing
+           -- * Abstract syntax, parsing, pretty printing and serialisation
            module GF.Compile.GetGrammar,
            module GF.Grammar.Grammar,
            module GF.Grammar.Macros,
            module GF.Grammar.Printer,
            module GF.Infra.Ident,
+           -- ** Binary serialisation
+           module GF.Grammar.Binary,
 
            -- * Supporting infrastructure and system utilities
            module GF.Data.Operations,
            module GF.Infra.UseIO,
            module GF.Infra.Option,
-           module GF.System.Console
+           module GF.System.Console,
+           -- ** Binary serialisation
+           Binary,encode,decode,encodeFile,decodeFile
   ) where
 import GF.Main
 import GF.Compiler
@@ -35,8 +39,10 @@ import GF.Grammar.Grammar
 import GF.Grammar.Macros
 import GF.Grammar.Printer
 import GF.Infra.Ident
+import GF.Grammar.Binary
 
 import GF.Data.Operations
 import GF.Infra.Option
 import GF.Infra.UseIO
 import GF.System.Console
+import Data.Binary

src/compiler/GF/Compile.hs

@@ -30,6 +30,8 @@ import PGF(PGF,defaultProbabilities,setProbabilities,readProbabilitiesFromFile)
 compileToPGF :: Options -> [FilePath] -> IOE PGF
 compileToPGF opts fs = link opts =<< batchCompile opts fs
 
+-- | Link a grammar into a 'PGF' that can be used to 'PGF.linearize' and
+-- 'PGF.parse' with the "PGF" run-time system.
 link :: Options -> (Ident,t,SourceGrammar) -> IOE PGF
 link opts (cnc,_,gr) =
   putPointE Normal opts "linking ... " $ do
@@ -40,6 +42,7 @@ link opts (cnc,_,gr) =
     return $ setProbabilities probs 
            $ if flag optOptimizePGF opts then optimizePGF pgf else pgf
 
+-- | Returns the name of the abstract syntax corresponding to the named concrete syntax
 srcAbsName gr cnc = err (const cnc) id $ abstractOfConcrete gr cnc
 
 -- | Compile the given grammar files and everything they depend on

src/compiler/GF/Main.hs

@@ -23,6 +23,7 @@ main = do
   uncurry mainOpts =<< getOptions
 
 -- | Get and parse GF command line arguments. Fix relative paths.
+-- Calls 'getArgs' and 'parseOptions'.
 getOptions = do
   args <- getArgs
   case parseOptions args of