From 6ee67cd04ffbce375d7f10e74a5d9eb742d6428d Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 22 Oct 2014 15:45:52 +0000
Subject: Various small changes for improved documentation

---
 src/compiler/GF/Grammar/Grammar.hs | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'src/compiler/GF/Grammar/Grammar.hs')

diff --git a/src/compiler/GF/Grammar/Grammar.hs b/src/compiler/GF/Grammar/Grammar.hs
index 5ea6e7704..34b8a1bdf 100644
--- a/src/compiler/GF/Grammar/Grammar.hs
+++ b/src/compiler/GF/Grammar/Grammar.hs
@@ -23,9 +23,8 @@ module GF.Grammar.Grammar (
 
         MInclude (..), OpenSpec(..),
         extends, isInherited, inheritAll,
-        openedModule, depPathModule, allDepsModule, partOfGrammar,
-        allExtends, allExtendsPlus,
-        searchPathModule,
+        openedModule, allDepsModule, partOfGrammar, depPathModule,
+        allExtends, allExtendsPlus, --searchPathModule,
         
         lookupModule,
         isModAbs, isModRes, isModCnc,
@@ -36,15 +35,15 @@ module GF.Grammar.Grammar (
 
         ModuleStatus(..),
 
-        -- ** Judgements and terms
+        -- ** Judgements
         Info(..),
-        Location(..), L(..), unLoc, noLoc, ppLocation, ppL,
+        -- ** Terms
+        Term(..),
         Type,
         Cat,
         Fun,
         QIdent,
         BindType(..),
-        Term(..),
         Patt(..),
         TInfo(..),
         Label(..),
@@ -61,6 +60,8 @@ module GF.Grammar.Grammar (
         Substitution,
         varLabel, tupleLabel, linLabel, theLinLabel,
         ident2label, label2ident,
+        -- ** Source locations
+        Location(..), L(..), unLoc, noLoc, ppLocation, ppL,
 
         -- ** PMCFG        
         PMCFG(..), Production(..), FId, FunId, SeqId, LIndex, Sequence
-- 
cgit v1.2.3