summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Grammar/MMacros.hs
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2014-10-16 14:03:57 +0000
committerhallgren <hallgren@chalmers.se>2014-10-16 14:03:57 +0000
commitc924491289259fa8a5a259ed97f2d9e817e3338c (patch)
tree178f045daa6520ca0979d093167727511c06541e /src/compiler/GF/Grammar/MMacros.hs
parentc0ebbc4edfeaf16a6a5f4392ea097ea3d72a0e06 (diff)
More haddock documentation improvements
Diffstat (limited to 'src/compiler/GF/Grammar/MMacros.hs')
-rw-r--r--src/compiler/GF/Grammar/MMacros.hs4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/MMacros.hs b/src/compiler/GF/Grammar/MMacros.hs
index 9f4587967..66d8a857f 100644
--- a/src/compiler/GF/Grammar/MMacros.hs
+++ b/src/compiler/GF/Grammar/MMacros.hs
@@ -28,6 +28,8 @@ import GF.Grammar.Macros
import Control.Monad
import GF.Text.Pretty
+-- ** Some more abstractions on grammars, esp. for Edit
+
{-
nodeTree :: Tree -> TrNode
argsTree :: Tree -> [Tree]
@@ -151,7 +153,7 @@ substTerm ss g c = case c of
metaSubstExp :: MetaSubst -> [(MetaId,Exp)]
metaSubstExp msubst = [(m, errVal (meta2exp m) (val2expSafe v)) | (m,v) <- msubst]
--- * belong here rather than to computation
+-- ** belong here rather than to computation
substitute :: [Var] -> Substitution -> Exp -> Err Exp
substitute v s = return . substTerm v s