diff options
| author | hallgren <hallgren@chalmers.se> | 2014-10-22 15:45:52 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-10-22 15:45:52 +0000 |
| commit | 6ee67cd04ffbce375d7f10e74a5d9eb742d6428d (patch) | |
| tree | fa90c0a4d72b30bbe486db51b2ebab81c0767fe9 /src/compiler/GF/Grammar/Grammar.hs | |
| parent | 00922153aa1f94754847f60a959f3849dfc4771b (diff) | |
Various small changes for improved documentation
Diffstat (limited to 'src/compiler/GF/Grammar/Grammar.hs')
| -rw-r--r-- | src/compiler/GF/Grammar/Grammar.hs | 13 |
1 files changed, 7 insertions, 6 deletions
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 |