summaryrefslogtreecommitdiff
path: root/examples/extmini/Syntax.gf
diff options
context:
space:
mode:
authorjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
committerjohn.j.camilleri <john.j.camilleri@chalmers.se>2013-09-16 07:17:27 +0000
commitf5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (patch)
tree946c9e8542b8e8271b6b529a95c0400fa6613cb4 /examples/extmini/Syntax.gf
parent8e1c6cca407c82fc09569d80c231b8d256735989 (diff)
Remove contribs and examples
Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb
Diffstat (limited to 'examples/extmini/Syntax.gf')
-rw-r--r--examples/extmini/Syntax.gf47
1 files changed, 0 insertions, 47 deletions
diff --git a/examples/extmini/Syntax.gf b/examples/extmini/Syntax.gf
deleted file mode 100644
index 01a51d0ee..000000000
--- a/examples/extmini/Syntax.gf
+++ /dev/null
@@ -1,47 +0,0 @@
-interface Syntax = Grammar -
- [UseCl,PredVP,ComplV2,UseV,DetCN,ModCN,CompAP,AdAP,
- ConjS,ConjNP,UseN,UseA,Pres,Perf,Pos,Neg] **
- open Grammar in {
-
-oper
- mkS = overload {
- mkS : Cl -> S = UseCl Pres Pos ;
- mkS : Tense -> Cl -> S = \t -> UseCl t Pos ;
- mkS : Pol -> Cl -> S = UseCl Pres ;
- mkS : Tense -> Pol -> Cl -> S = UseCl ;
- mkS : Conj -> S -> S -> S = ConjS ;
- } ;
-
- mkCl = overload {
- mkCl : NP -> V -> Cl = \np,v -> PredVP np (UseV v) ;
- mkCl : NP -> V2 -> NP -> Cl = \np,v,o -> PredVP np (ComplV2 v o) ;
- mkCl : NP -> A -> Cl = \np,a -> PredVP np (CompAP (UseA a)) ;
- mkCl : NP -> AP -> Cl = \np,ap -> PredVP np (CompAP ap) ;
- mkCl : NP -> VP -> Cl = PredVP ;
- } ;
-
- mkAP = overload {
- mkAP : A -> AP = UseA ;
- mkAP : AdA -> AP -> AP = AdAP ;
- } ;
-
- mkNP = overload {
- mkNP : Det -> N -> NP = \d,n -> DetCN d (UseN n) ;
- mkNP : Det -> CN -> NP = \d,n -> DetCN d n ;
- mkNP : Conj -> NP -> NP -> NP = ConjNP ;
- } ;
-
- mkCN = overload {
- mkCN : N -> CN = UseN ;
- mkCN : A -> N -> CN = \a,n -> ModCN (UseA a) (UseN n) ;
- mkCN : A -> CN -> CN = \a,n -> ModCN (UseA a) n ;
- mkCN : AP -> N -> CN = \a,n -> ModCN a (UseN n) ;
- mkCN : AP -> CN -> CN = \a,n -> ModCN a n ;
- } ;
-
- presTense : Tense = Pres ;
- perfTense : Tense = Perf ;
- posPol : Pol = Pos ;
- negPol : Pol = Neg ;
-
-}