diff --git a/lib/src/api/CombinatorsPes.gf b/lib/src/api/CombinatorsPes.gf new file mode 100644 index 000000000..d2d0ad51b --- /dev/null +++ b/lib/src/api/CombinatorsPes.gf @@ -0,0 +1,6 @@ +--# -path=.:alltenses:prelude + +resource CombinatorsPes = Combinators with + (Cat = CatPes), + (Structural = StructuralPes), + (Constructors = ConstructorsPes) ; diff --git a/lib/src/api/ConstructorsPes.gf b/lib/src/api/ConstructorsPes.gf new file mode 100644 index 000000000..b3b1d8561 --- /dev/null +++ b/lib/src/api/ConstructorsPes.gf @@ -0,0 +1,3 @@ +--# -path=.:alltenses:prelude + +resource ConstructorsPes = Constructors with (Grammar = GrammarPes) ; diff --git a/lib/src/api/SymbolicPes.gf b/lib/src/api/SymbolicPes.gf new file mode 100644 index 000000000..6a007eadf --- /dev/null +++ b/lib/src/api/SymbolicPes.gf @@ -0,0 +1,5 @@ +--# -path=.:present:mathematical:prelude + +resource SymbolicPes = Symbolic with + (Symbol = SymbolPes), + (Grammar = GrammarPes) ; diff --git a/lib/src/api/SyntaxPes.gf b/lib/src/api/SyntaxPes.gf new file mode 100644 index 000000000..91b3cb6c2 --- /dev/null +++ b/lib/src/api/SyntaxPes.gf @@ -0,0 +1,5 @@ +--# -path=.:./alltenses:../prelude + +instance SyntaxPes of Syntax = + ConstructorsPes, CatPes, StructuralPes, CombinatorsPes ; + diff --git a/lib/src/api/TryPes.gf b/lib/src/api/TryPes.gf new file mode 100644 index 000000000..e1a53711d --- /dev/null +++ b/lib/src/api/TryPes.gf @@ -0,0 +1,12 @@ +--# -path=.:alltenses:prelude:/users/shafqat/www.grammaticalframework.org_0/lib/src/persian + +resource TryPes = SyntaxPes, LexiconPes, ParadigmsPes -[mkDet,mkQuant]** + open (P = ParadigmsPes) in { + +-- oper + +-- mkAdv = overload SyntaxPes { +-- mkAdv : Str -> Adv = P.mkAdv ; +-- } ; + +}