summaryrefslogtreecommitdiff
path: root/examples/phrasebook/Sentences.gf
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2010-03-30 18:48:59 +0000
committeraarne <aarne@chalmers.se>2010-03-30 18:48:59 +0000
commit5cb147fa19fdd348a24bc9d90fc8b5a6041530d8 (patch)
tree73a42a9aa38df413443e2a8a730e8e669f70604d /examples/phrasebook/Sentences.gf
parentde909a4e44419562ca4ba071e15cf9b8e00288be (diff)
simplified the treatment of politeness in Phrasebook
Diffstat (limited to 'examples/phrasebook/Sentences.gf')
-rw-r--r--examples/phrasebook/Sentences.gf13
1 files changed, 3 insertions, 10 deletions
diff --git a/examples/phrasebook/Sentences.gf b/examples/phrasebook/Sentences.gf
index 97ca5d3bf..453db03f8 100644
--- a/examples/phrasebook/Sentences.gf
+++ b/examples/phrasebook/Sentences.gf
@@ -7,14 +7,10 @@ abstract Sentences = Numeral ** {
Place ; PlaceKind ; Currency ; Price ; Language ;
Person ; Action ;
- -- abstract parameters
- Politeness ;
- -- Gender ;
-
fun
-- these phrases are formed here, not in Phrasebook, as they are functorial
- PSentence : Politeness -> Sentence -> Phrase ;
- PQuestion : Politeness -> Question -> Phrase ;
+ PSentence : Sentence -> Phrase ;
+ PQuestion : Question -> Phrase ;
PObject : Object -> Phrase ;
PKind : Kind -> Phrase ;
@@ -50,9 +46,6 @@ abstract Sentences = Numeral ** {
ThePlace : PlaceKind -> Place ;
- I, You : Person ;
-
- Polite, Familiar : Politeness ;
- -- Male, Female : Gender ;
+ I, YouFam, YouPol : Person ;
}