diff options
| author | aarne <aarne@chalmers.se> | 2010-12-07 18:05:13 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2010-12-07 18:05:13 +0000 |
| commit | dd6e0b17307475a614b3d36d7f0f0816968bfa40 (patch) | |
| tree | fb7c8801e043e3faeab20f693ae7f049415cbb2c /examples | |
| parent | 978e2e4241c02ef015e7cca274bebb0a19966191 (diff) | |
moved PGF.ToApi to GF.Compile.ToAPI
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/phrasebook/Compile.hs | 4 | ||||
| -rw-r--r-- | examples/phrasebook/SentencesFin.gf | 2 | ||||
| -rw-r--r-- | examples/phrasebook/WordsFin.gf | 2 |
3 files changed, 7 insertions, 1 deletions
diff --git a/examples/phrasebook/Compile.hs b/examples/phrasebook/Compile.hs index 0797b5ded..5945e62e6 100644 --- a/examples/phrasebook/Compile.hs +++ b/examples/phrasebook/Compile.hs @@ -36,7 +36,9 @@ main = do _ -> return () compileOne modu = do - let comm = "gf -make -s -optimize-pgf -name=" ++ modu ++ " " ++ modu ++ ".gf" + let comm = "gf -make -s -optimize-pgf -name=" ++ + modu ++ " " ++ modu ++ ".gf" ++ + " +RTS -K32M" putStrLn comm system comm diff --git a/examples/phrasebook/SentencesFin.gf b/examples/phrasebook/SentencesFin.gf index 1b1febf6a..68644d1bf 100644 --- a/examples/phrasebook/SentencesFin.gf +++ b/examples/phrasebook/SentencesFin.gf @@ -8,6 +8,8 @@ concrete SentencesFin of Sentences = NumeralFin ** SentencesI - (Lexicon = LexiconFin) ** open SyntaxFin, ExtraFin, (P = ParadigmsFin), (V = VerbFin), Prelude in { + flags optimize = noexpand ; + lin Is item prop = mkCl item (V.UseComp (CompPartAP prop)) ; -- tämä pizza on herkullista IsMass mass prop = mkCl (mkNP a_Det mass) (V.UseComp (CompPartAP prop)) ; -- pizza on herkullista diff --git a/examples/phrasebook/WordsFin.gf b/examples/phrasebook/WordsFin.gf index 7f7407edb..9f6fe16e3 100644 --- a/examples/phrasebook/WordsFin.gf +++ b/examples/phrasebook/WordsFin.gf @@ -5,6 +5,8 @@ concrete WordsFin of Words = SentencesFin ** SyntaxFin, ParadigmsFin, (L = LexiconFin), Prelude, (E = ExtraFin) in { + flags optimize = noexpand ; + lin -- kinds |