examples/phrasebook/PhrasebookFin.gf


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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 ;

}