summaryrefslogtreecommitdiff
path: root/examples/letter/Letter.gf
diff options
context:
space:
mode:
authorJohn J. Camilleri <john@digitalgrammars.com>2018-07-04 10:09:58 +0200
committerJohn J. Camilleri <john@digitalgrammars.com>2018-07-04 10:09:58 +0200
commitc6f4edaea5f1074ba682fac5d711016f0136998f (patch)
treebb49b8bac2e3cafd3c1f997115bf5bb841554eab /examples/letter/Letter.gf
parent00476ae38687fb7d33081130822cbd4e8f34cfd3 (diff)
Remove examples directory; these now live in gf-contrib
All changes have been reflected in the gf-contrib repository: https://github.com/GrammaticalFramework/gf-contrib Now, for WebSetup to build the example grammars, one must have gf-contrib cloned in the same top-level directory as GF. When this isn't the case, WebSetup displays a notice without failing.
Diffstat (limited to 'examples/letter/Letter.gf')
-rw-r--r--examples/letter/Letter.gf83
1 files changed, 0 insertions, 83 deletions
diff --git a/examples/letter/Letter.gf b/examples/letter/Letter.gf
deleted file mode 100644
index 537750cb0..000000000
--- a/examples/letter/Letter.gf
+++ /dev/null
@@ -1,83 +0,0 @@
-abstract Letter = {
-
---1 An Abstract Syntax for Business and Love Letters
---
--- This file defines the abstract syntax of a grammar set whose concrete syntax
--- has so far been written to five languages: English, Finnish, French, Russian,
--- and Swedish.
---
--- The main category of the grammar is $Letter$. The other categories are
--- parts of the letter.
-
-flags startcat=Letter ;
-
-cat
- Letter ;
- Recipient ; Author ;
- Message ;
- Heading ; Ending ;
- Mode ; Sentence ; NounPhrase ; Position ;
-
--- There is just one top-level letter structure.
-
-fun
- MkLetter : Heading -> Message -> Ending -> Letter ;
-
--- The heading consists of a greeting of the recipient. The $JustHello$
--- function will actually suppress the name (and title) of the recipient,
--- but the $Recipient$ argument keeps track of the gender and number.
-
- DearRec : Recipient -> Heading ;
- PlainRec : Recipient -> Heading ;
- HelloRec : Recipient -> Heading ;
- JustHello : Recipient -> Heading ;
-
--- A message is a sentence with of without a *mode*, which is either
--- regret or honour.
-
- ModeSent : Mode -> Sentence -> Message ;
- PlainSent : Sentence -> Message ;
-
- Honour, Regret : Mode ;
-
--- The ending is either formal or informal. It does not currently depend on
--- the heading: making it so would eliminate formality mismatches between
--- the heading and the ending.
-
- FormalEnding : Author -> Ending ;
- InformalEnding : Author -> Ending ;
-
--- The recipient is either a colleague, colleagues, or darling.
--- It can also be a named person. The gender distinction is made
--- because there are things in the body of the letter that depend on it.
-
- ColleagueHe, ColleagueShe : Recipient ;
- ColleaguesHe, ColleaguesShe : Recipient ;
- DarlingHe, DarlingShe : Recipient ;
-
- NameHe, NameShe : String -> Recipient ;
-
--- For the author, there is likewise a fixed set of titles, plus the named author.
--- Gender distinctions could be useful even here, for the same reason as with
--- $Recipient$. Notice that the rendering of $Spouse$ will depend on the
--- gender of the recipient.
-
- President, Mother, Spouse, Dean : Author ;
- Name : String -> Author ;
-
--- As for the message body, no much choice is yet available: one can say that
--- the recipient is promoted to some position, that someone has gone bankrupt,
--- or that the author loves the recipient.
-
- BePromoted : Position -> Sentence ;
- GoBankrupt : NounPhrase -> Sentence ;
- ILoveYou : Sentence ;
-
- Competitor : NounPhrase ;
- Company : NounPhrase ;
- OurCustomers : NounPhrase ;
-
- Senior : Position ;
- ProjectManager : Position ;
-
-}