summaryrefslogtreecommitdiff
path: root/examples/phrasebook/Sentences.gf
diff options
context:
space:
mode:
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 ;
}