add API modules for Polish

This commit is contained in:
krasimir
2009-10-23 15:34:09 +00:00
parent 4f8e32cb5d
commit 4f6bd2f1d6
7 changed files with 80 additions and 0 deletions

View File

@@ -0,0 +1,6 @@
--# -path=.:alltenses:prelude
resource CombinatorsPol = Combinators with
(Cat = CatPol),
(Structural = StructuralPol),
(Constructors = ConstructorsPol) ;

View File

@@ -0,0 +1,3 @@
--# -path=.:alltenses:prelude
resource ConstructorsPol = Constructors with (Grammar = GrammarPol) ;

5
lib/src/api/SyntaxPol.gf Normal file
View File

@@ -0,0 +1,5 @@
--# -path=.:alltenses:prelude
instance SyntaxPol of Syntax =
ConstructorsPol, CatPol, StructuralPol, CombinatorsPol ;

12
lib/src/api/TryPol.gf Normal file
View File

@@ -0,0 +1,12 @@
--# -path=.:alltenses:prelude
resource TryPol = SyntaxPol, LexiconPol, ParadigmsPol - [mkAdv] **
open (P = ParadigmsPol) in {
oper
mkAdv = overload SyntaxPol {
mkAdv : Str -> Adv = P.mkAdv ;
} ;
}