diff options
Diffstat (limited to 'examples/phrasebook/SentencesFre.gf')
| -rw-r--r-- | examples/phrasebook/SentencesFre.gf | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/examples/phrasebook/SentencesFre.gf b/examples/phrasebook/SentencesFre.gf index cbc6db8c4..84d7b8cf0 100644 --- a/examples/phrasebook/SentencesFre.gf +++ b/examples/phrasebook/SentencesFre.gf @@ -1,7 +1,8 @@ concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [ QProp, IFemale, YouFamFemale, YouPolFemale, - PYesToNo + PYesToNo, + Superlative ] with (Syntax = SyntaxFre), @@ -9,6 +10,8 @@ concrete SentencesFre of Sentences = NumeralFre ** SentencesI - [ (Lexicon = LexiconFre) ** open SyntaxFre, ExtraFre, Prelude in { + lincat + Superlative = {s : Ord ; isPre : Bool} ; lin QProp a = lin QS {s = \\_ => (EstcequeS (mkS a)).s} ; |