diff options
| author | aarne <aarne@chalmers.se> | 2010-03-30 18:48:59 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-03-30 18:48:59 +0000 |
| commit | 5cb147fa19fdd348a24bc9d90fc8b5a6041530d8 (patch) | |
| tree | 73a42a9aa38df413443e2a8a730e8e669f70604d /examples/phrasebook/Sentences.gf | |
| parent | de909a4e44419562ca4ba071e15cf9b8e00288be (diff) | |
simplified the treatment of politeness in Phrasebook
Diffstat (limited to 'examples/phrasebook/Sentences.gf')
| -rw-r--r-- | examples/phrasebook/Sentences.gf | 13 |
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 ; } |
