diff options
Diffstat (limited to 'examples/messages/Messages.gf')
| -rw-r--r-- | examples/messages/Messages.gf | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/examples/messages/Messages.gf b/examples/messages/Messages.gf deleted file mode 100644 index 1a822b9d1..000000000 --- a/examples/messages/Messages.gf +++ /dev/null @@ -1,45 +0,0 @@ -abstract Messages = - Words - [IMale, IFemale, YouFamMale, YouFamFemale, YouPolMale, YouPolFemale], - Greetings ** { - -flags startcat = Message ; - -cat - Message ; - Heading ; - Body ; - Ending ; - Statement ; - Recipient ; - Sender ; - Title ; - Role ; - -fun - Msg : Heading -> Body -> Ending -> Message ; - - HHello : Recipient -> Heading ; - HDear : Recipient -> Heading ; - - BOne : Statement -> Body ; - BMore : Statement -> Body -> Body ; - - ERegards : Sender -> Ending ; - - SSentence : Sentence -> Statement ; - SQuestion : Question -> Statement ; - SGreeting : Greeting -> Statement ; - - RName : Name -> Recipient ; - RTitle : Title -> Name -> Recipient ; - SName : Name -> Sender ; - - TMr : Title ; - TMs : Title ; - - RI : Role ; -- generic: Gender and Politeness from context - RYou : Role ; - - PRole : Role -> Person ; - -}
\ No newline at end of file |
