summaryrefslogtreecommitdiff
path: root/examples/messages
diff options
context:
space:
mode:
Diffstat (limited to 'examples/messages')
-rw-r--r--examples/messages/Messages.gf45
-rw-r--r--examples/messages/MessagesEng.gf54
-rw-r--r--examples/messages/MessagesFre.gf74
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