diff options
Diffstat (limited to 'examples/phrasebook/PhrasebookFin.gf')
| -rw-r--r-- | examples/phrasebook/PhrasebookFin.gf | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/examples/phrasebook/PhrasebookFin.gf b/examples/phrasebook/PhrasebookFin.gf index 2144d90fe..12851e57f 100644 --- a/examples/phrasebook/PhrasebookFin.gf +++ b/examples/phrasebook/PhrasebookFin.gf @@ -4,21 +4,11 @@ concrete PhrasebookFin of Phrasebook = GreetingsFin, WordsFin ** open SyntaxFin, - ResFin, ---- for Num to Utt Prelude in { -lincat - Phrase = Text ; - lin - PNumeral n = - mkPhrase (ss ((SyntaxFin.mkCard <n : Numeral>).s ! Sg ! Nom)) ; ---- + PSentence s = mkText s | lin Text (mkUtt s) ; -- optional . + PQuestion s = mkText s | lin Text (mkUtt s) ; -- optional ? PGreeting g = mkPhrase g ; - PSentence s = mkText s ; - PQuestion s = mkText s ; - - -oper - mkPhrase : SS -> Utt = \s -> lin Utt s ; } |
