diff options
Diffstat (limited to 'examples/messages')
| -rw-r--r-- | examples/messages/Messages.gf | 45 | ||||
| -rw-r--r-- | examples/messages/MessagesEng.gf | 54 | ||||
| -rw-r--r-- | examples/messages/MessagesFre.gf | 74 |
3 files changed, 0 insertions, 173 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 diff --git a/examples/messages/MessagesEng.gf b/examples/messages/MessagesEng.gf deleted file mode 100644 index f45fca90f..000000000 --- a/examples/messages/MessagesEng.gf +++ /dev/null @@ -1,54 +0,0 @@ ---# -path=.:../phrasebook:present - -concrete MessagesEng of Messages = - WordsEng - - [IMale, IFemale, YouFamMale, YouFamFemale, YouPolMale, YouPolFemale], - GreetingsEng ** open - SyntaxEng, - ParadigmsEng, - (Phr = PhrasebookEng) - in { - -lincat - Message = Text ; - Heading = Text ; - Body = Text ; - Ending = Text ; - Statement = Text ; - Recipient = NP ; - Sender = NP ; - Title = CN ; - Role = Phr.NPPerson ; - -lin - Msg h b e = mkText h (mkText b e) ; - - HHello n = - mkText (strText "hello") (mkText (mkPhrase (mkUtt n)) (strText ",")) ; - HDear n = - mkText (strText "dear") (mkText (mkPhrase (mkUtt n)) (strText ",")) ; - - BOne p = p ; - BMore p b = mkText p b ; - - ERegards n = mkText (strText "regards") (mkPhrase (mkUtt n)) ; - - SSentence s = mkText s ; - SQuestion s = mkText s ; - SGreeting s = mkText s exclMarkPunct ; - - RName n = n ; - RTitle t n = mkNP (mkCN t n) ; - SName n = n ; - - TMr = mkCN (mkN "Mr") ; - TMs = mkCN (mkN "Ms") ; - - RI = Phr.IMale ; -- gender and politeness don't matter in English - RYou = Phr.YouFamMale ; - - PRole r = r ; - -oper - strText : Str -> Text = \s -> lin Text {s = s} ; -}
\ No newline at end of file diff --git a/examples/messages/MessagesFre.gf b/examples/messages/MessagesFre.gf deleted file mode 100644 index a94588b0f..000000000 --- a/examples/messages/MessagesFre.gf +++ /dev/null @@ -1,74 +0,0 @@ ---# -path=.:../phrasebook:present - -concrete MessagesFre of Messages = - WordsFre - - [IMale, IFemale, YouFamMale, YouFamFemale, YouPolMale, YouPolFemale], - GreetingsFre ** - open - SyntaxFre, - ParadigmsFre, - Prelude, - (Phr = PhrasebookFre) - in { - -lincat - Message = Text ; - Heading = {s : Text ; g : Gender ; isPol : Bool} ; - Body = {s : Gender => Gender => Bool => Text} ; - Ending = {s : Text ; g : Gender} ; - Statement = {s : Gender => Gender => Bool => Text} ; - Recipient = NP ; - Sender = NP ; - Title = CN ; - Role = Phr.NPPerson ; - -lin - Msg h b e = mkText h.s (mkText (b.s ! h.g ! e.g ! h.isPol) e.s) ; - - HHello n = { - s = mkText (strText "bonjour") (mkText (mkPhrase (mkUtt n)) (strText ",")) ; - g = n.a.g ; ----Res - isPol = n.isPol ----Res - } ; - HDear r = { - s = mkText - (mkPhrase (mkUtt (mkCN (prefixA (mkA "cher")) (nameCN r)))) - (strText ",") ; - g = r.a.g ; ----Res - isPol = r.isPol ----Res - } ; - - BOne p = p ; - BMore s b = {s = \\i,y,p => mkText (s.s ! i ! y ! p) (b.s ! i ! y ! p)} ; - - ERegards n = { - s = mkText (strText "avec salutations") (mkPhrase (mkUtt n)) ; - g = n.a.g ----Res - } ; - - SSentence s = {s = \\i,y,p => mkText s} ; - SQuestion s = {s = \\i,y,p => mkText s} ; - SGreeting s = {s = \\i,y,p => mkText s exclMarkPunct} ; - - RName n = n ; - RTitle t n = cnNP (mkCN t n) ; - SName n = n ; - - TMr = mkCN (mkN "monsieur" "messieurs" masculine) ; - TMs = mkCN (mkN "madame" "mesdames" feminine) ; - - RI = Phr.IMale ; - RYou = Phr.YouFamMale ; - - PRole r = r ; - -oper - strText : Str -> Text = \s -> lin Text {s = s} ; - - ----- TODO in RG and its API - - nameCN : NP -> CN = \n -> mkCN (mkN "") n ; - cnNP : CN -> NP = \cn -> mkNP (mkPN (cn.s ! singular) cn.g) ; - -}
\ No newline at end of file |
