diff options
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 ; } |
