GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-27 19:58:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

Added overloaded negation to Combinators.

Browse Source
This commit is contained in:
bringert
2007-04-21 09:38:52 +00:00
parent eedd5a5ad0
commit 6633024433
1 changed files with 20 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
lib/resource-1.0/api/Combinators.gf
View File

@@ -75,6 +75,15 @@ incomplete resource Combinators = open Grammar in {
} ; } ;
--2 Negation
neg : overload {
neg : Imp -> Utt ;
neg : Cl -> S ;
neg : QCl -> QS ;
neg : RCl -> RS
};
--2 Text append --2 Text append
-- This is not in ground API, because it would destroy parsing. -- This is not in ground API, because it would destroy parsing.
@@ -186,6 +195,17 @@ incomplete resource Combinators = open Grammar in {
} ; } ;
neg = overload {
neg : Imp -> Utt
= UttImpSg PNeg ;
neg : Cl -> S
= UseCl TPres ASimul PNeg;
neg : QCl -> QS
= UseQCl TPres ASimul PNeg;
neg : RCl -> RS
= UseRCl TPres ASimul PNeg
};
-- This is not in ground API, because it would destroy parsing. -- This is not in ground API, because it would destroy parsing.
appendText : Text -> Text -> Text appendText : Text -> Text -> Text