summaryrefslogtreecommitdiff
path: root/examples/phrasebook/Roles.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/phrasebook/Roles.gf')
-rw-r--r--examples/phrasebook/Roles.gf6
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/phrasebook/Roles.gf b/examples/phrasebook/Roles.gf
index f8f9c4aea..4fdf868c3 100644
--- a/examples/phrasebook/Roles.gf
+++ b/examples/phrasebook/Roles.gf
@@ -2,15 +2,15 @@ resource Roles = {
param
Gender = Male | Female ;
- Politeness = Polite | Familiar ;
+ Politeness = PPolite | PFamiliar ;
oper
RolePhrase : Type = {s : Politeness => Gender => Gender => Str} ;
politeDistinct : (_,_ : Str) -> RolePhrase = \pol,fam -> {
s = table {
- Polite => \\_,_ => pol ;
- Familiar => \\_,_ => fam
+ PPolite => \\_,_ => pol ;
+ PFamiliar => \\_,_ => fam
}
} ;