commented out Documentation definitions in notpresent mode. It was not enough to do this in the import list in Lang, since the import list parsing seems to be done without preprocessing.

This commit is contained in:
aarne
2014-02-25 07:37:03 +00:00
parent 62aa1d2bc7
commit 95a2ebe569
6 changed files with 31 additions and 4 deletions

View File

@@ -12,12 +12,14 @@ incomplete concrete DocumentationFinFunctor of Documentation = CatFin ** open
HTML
in {
lincat
Inflection = {t : Str; s1,s2 : Str} ;
Document = {s : Str} ;
Tag = {s : Str} ;
{-
-} --# notpresent
oper
heading : N -> Str = \n -> (nounHeading n).s ;
@@ -129,7 +131,8 @@ lin
oper
verbExample : CatFin.Cl -> Str = \cl -> (S.mkUtt cl).s ;
{-
-} --# notpresent
inflVerb : CatFin.V -> Str = \verb0 ->
let
verb = sverb2verbSep verb0 ;
@@ -290,4 +293,7 @@ lin
MkDocument b i e = ss (i.s1 ++ paragraph b.s ++ i.s2 ++ paragraph e.s) ; -- explanation appended in a new paragraph
MkTag i = ss (i.t) ;
{- --# notpresent
-}
}