diff options
Diffstat (limited to 'examples/phrasebook/Roles.gf')
| -rw-r--r-- | examples/phrasebook/Roles.gf | 6 |
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 } } ; |
