diff options
Diffstat (limited to 'examples/phrasebook/PhrasebookFin.gf')
| -rw-r--r-- | examples/phrasebook/PhrasebookFin.gf | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/examples/phrasebook/PhrasebookFin.gf b/examples/phrasebook/PhrasebookFin.gf new file mode 100644 index 000000000..340d1c075 --- /dev/null +++ b/examples/phrasebook/PhrasebookFin.gf @@ -0,0 +1,23 @@ +--# -path=.:present + +concrete PhrasebookFin of Phrasebook = + GreetingsFin, + FoodFin ** open + SyntaxFin, + ResFin, ---- for Num to Utt + Prelude in { + +lincat + Phrase = Utt ; + +lin + PNumeral n = + mkPhrase (ss ((SyntaxFin.mkCard <n : Numeral>).s ! Sg ! Nom)) ; ---- + PGreeting g = mkPhrase g ; + PSentence s = s ; + + +oper + mkPhrase : SS -> Utt = \s -> lin Utt s ; + +} |
