diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-07-04 10:09:58 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-07-04 10:09:58 +0200 |
| commit | c6f4edaea5f1074ba682fac5d711016f0136998f (patch) | |
| tree | bb49b8bac2e3cafd3c1f997115bf5bb841554eab /examples/letter/Letter.gf | |
| parent | 00476ae38687fb7d33081130822cbd4e8f34cfd3 (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.gf | 83 |
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 ; - -} |
