summaryrefslogtreecommitdiff
path: root/examples-3.0/tutorial/syntax/Syntax.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-25 16:54:35 +0000
commite9e80fc389365e24d4300d7d5390c7d833a96c50 (patch)
treef0b58473adaa670bd8fc52ada419d8cad470ee03 /examples-3.0/tutorial/syntax/Syntax.gf
parentb96b36f43de3e2f8b58d5f539daa6f6d47f25870 (diff)
changed names of resource-1.3; added a note on homepage on release
Diffstat (limited to 'examples-3.0/tutorial/syntax/Syntax.gf')
-rw-r--r--examples-3.0/tutorial/syntax/Syntax.gf43
1 files changed, 0 insertions, 43 deletions
diff --git a/examples-3.0/tutorial/syntax/Syntax.gf b/examples-3.0/tutorial/syntax/Syntax.gf
deleted file mode 100644
index e5b27504d..000000000
--- a/examples-3.0/tutorial/syntax/Syntax.gf
+++ /dev/null
@@ -1,43 +0,0 @@
-interface Syntax = open Prelude, Grammar in {
-
-oper
- mkPhr = overload {
- mkPhr : S -> Phr
- = PhrS ;
- mkPhr : QS -> Phr
- = PhrQS ;
- } ;
-
- mkS = overload {
- mkS : Pol -> NP -> VP -> S
- = \p,np,vp -> UseCl p (PredVP np vp) ;
- mkS : NP -> VP -> S
- = \np,vp -> UseCl PPos (PredVP np vp) ;
- mkS : Pol -> NP -> V2 -> NP -> S
- = \p,np,v,o -> UseCl p (PredVP np (ComplV2 v o)) ;
- mkS : NP -> V2 -> NP -> S
- = \np,v,o -> UseCl PPos (PredVP np (ComplV2 v o)) ;
- mkS : Pol -> NP -> AP -> S
- = \p,np,ap -> UseCl p (PredVP np (ComplAP ap)) ;
- mkS : NP -> AP -> S
- = \np,ap -> UseCl PPos (PredVP np (ComplAP ap)) ;
- } ;
-
- mkNP : Det -> CN -> NP
- = DetCN ;
-
- mkCN = overload {
- mkCN : AP -> CN -> CN
- = ModCN ;
- mkCN : N -> CN
- = UseN ;
- } ;
-
- mkAP = overload {
- mkAP : AdA -> AP -> AP
- = AdAP ;
- mkAP : A -> AP
- = UseA ;
- } ;
-
-}