From 5cb147fa19fdd348a24bc9d90fc8b5a6041530d8 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 30 Mar 2010 18:48:59 +0000 Subject: simplified the treatment of politeness in Phrasebook --- examples/phrasebook/Phrasebook.gf | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'examples/phrasebook/Phrasebook.gf') diff --git a/examples/phrasebook/Phrasebook.gf b/examples/phrasebook/Phrasebook.gf index 6a0fdad80..6872a9ace 100644 --- a/examples/phrasebook/Phrasebook.gf +++ b/examples/phrasebook/Phrasebook.gf @@ -6,10 +6,6 @@ abstract Phrasebook = flags startcat = Phrase ; fun - --- here rather than Sentences, because not functorial - PGreeting : Politeness -> Greeting -> Phrase ; ----- PGreeting : Politeness -> Gender -> Gender -> Greeting -> Phrase ; - -- politeness level, speaker, hearer + PGreeting : Greeting -> Phrase ; } -- cgit v1.2.3