examples/phrasebook/PhrasebookEng.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 PhrasebookEng of Phrasebook = 
  GreetingsEng,
  FoodEng ** open 
    SyntaxEng,
    ResEng, ---- for Num to Utt 
    Prelude in {

lincat 
  Phrase = Utt ;

lin
  PNumeral n = 
    mkPhrase (ss ((SyntaxEng.mkCard <n : Numeral>).s ! Nom)) ; ----
  PGreeting g = mkPhrase g ;
  PSentence s = s ;


oper 
  mkPhrase : SS -> Utt = \s -> lin Utt s ;

}