diff --git a/lib/src/api/ConstructorsHin.gf b/lib/src/api/ConstructorsHin.gf new file mode 100644 index 000000000..90db8c76f --- /dev/null +++ b/lib/src/api/ConstructorsHin.gf @@ -0,0 +1,3 @@ +--# -path=.:alltenses:prelude + +resource ConstructorsHin = Constructors with (Grammar = GrammarHin) ; diff --git a/lib/src/api/SymbolicHin.gf b/lib/src/api/SymbolicHin.gf new file mode 100644 index 000000000..11650f03d --- /dev/null +++ b/lib/src/api/SymbolicHin.gf @@ -0,0 +1,5 @@ +--# -path=.:present:mathematical:prelude + +resource SymbolicHin = Symbolic with + (Symbol = SymbolHin), + (Grammar = GrammarHin) ; diff --git a/lib/src/api/SyntaxHin.gf b/lib/src/api/SyntaxHin.gf new file mode 100644 index 000000000..1422ae6da --- /dev/null +++ b/lib/src/api/SyntaxHin.gf @@ -0,0 +1,5 @@ +--# -path=.:./alltenses:../prelude + +instance SyntaxHin of Syntax = + ConstructorsHin, CatHin, StructuralHin, CombinatorsHin ; + diff --git a/lib/src/api/TryHin.gf b/lib/src/api/TryHin.gf new file mode 100644 index 000000000..cc7ff4bf8 --- /dev/null +++ b/lib/src/api/TryHin.gf @@ -0,0 +1,22 @@ +--# -path=.:alltenses:prelude:/users/shafqat/www.grammaticalframework.org_4/lib/src/hindi:/users/shafqat/www.grammaticalframework.org_4/lib/src/hindustani + +resource TryHin = SyntaxHin - [mkAdN] , LexiconHin, ParadigmsHin - [mkAdv,mkDet,mkIP,mkAdN,mkQuant] ** + open (P = ParadigmsHin) in { + +oper + + mkAdv = overload SyntaxHin { + mkAdv : Str -> Adv = P.mkAdv ; + } ; + + mkAdN = overload { + mkAdN : CAdv -> AdN = SyntaxHin.mkAdN ; +--- mkAdN : Str -> AdN = P.mkAdN ; + } ; + +-- mkOrd = overload SyntaxHin { +-- mkOrd : A -> Ord = SyntaxHin.OrdSuperl ; +-- } ; + + +}