diff options
Diffstat (limited to 'examples/messages/Messages.gf')
| -rw-r--r-- | examples/messages/Messages.gf | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/examples/messages/Messages.gf b/examples/messages/Messages.gf new file mode 100644 index 000000000..1a822b9d1 --- /dev/null +++ b/examples/messages/Messages.gf @@ -0,0 +1,45 @@ +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 |
