summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-09-19treebank to test Queryaarne
2011-09-19QueryFin improvedaarne
2011-09-19test suite: Don't fail because of the Win32/Unix text file incompatibility.hallgren
2011-09-19Adding test case for interaction between record subtyping and record extensionhallgren
2011-09-16gfse: add Extra and Lexicon to the list of resource modules that can be openedhallgren
2011-09-15added topological sort module to PGF - to be used in example based grammar ↵ra.monique
writing
2011-09-15Add a command name header to the 'help -t2t' outputhallgren
2011-09-15Add the commands to the table of contents in the GF shell reference manualhallgren
2011-09-15made ps -from_TRANSLIT symmetric to -to_TRANSLIT in the sense that unknown ↵aarne
characters are returned as themselves and not as question marks
2011-09-14Include a table of contents in the GF shell reference manualhallgren
2011-09-14Separate commands with <hr> instead of <p> in the GF shell reference manualhallgren
2011-09-14Omit empty sections in GF shell reference manualhallgren
2011-09-14Omit empty sections in gf help outputhallgren
2011-09-14Use 'help -full -t2t' to generate the GF Shell reference manualhallgren
2011-09-14GF shell command 'help -t2t' outputs help in txt2tags formathallgren
2011-09-14Adding a link to the GF shell reference manual on the GF home pagehallgren
2011-09-14Donkey: Det and Conj added, as well as negative sentencesaarne
2011-09-14Adding a GF shell command referencehallgren
First, plain text version generated with 'help -full' in the shell. Introduction taken from the GF book.
2011-09-13gfse: added grammar cloninghallgren
2011-09-14quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisitedaarne
2011-09-14Donkey: added AP, reported problem with ModCN and polymorphic AP'saarne
2011-09-13rewrote DonkeyEng with RGL and introduced VP categoryaarne
2011-09-13examples on using type theoryaarne
2011-09-13added examples/typetheoryaarne
2011-09-12Added news item about the GF 3.2.9 snapshot on the home pagehallgren
2011-09-12Mention the 3.2.9 snapshot release on the download pagehallgren
2011-09-12Record old changes in gf-reference.htmlhallgren
even though this file is automatically generated from gf-reference.t2t.
2011-09-12Record the added link to the JPGF Android Tutorial on home pagehallgren
2011-09-12Take snapshot, version 3.2.9hallgren
2011-09-12gf.cabal: add Tested-With fieldhallgren
2011-09-09Don't make noexpand the default with -fcclazyhallgren
This reverts the previous change. Not preprocessing opers turns out to make a difference in what needs to be mentioned in restricted inheritance/imports.
2011-09-09utf8 in gf-book indexaarne
2011-09-09slides and UK order of gf-bookaarne
2011-09-09Make -fcclazy (the new faster lazy compute_concrete) the default. Bump ↵hallgren
version number to 3.2.9
2011-09-09Make noexpand the default optimization package when configuring with -fcclazyhallgren
2011-09-09Remove unused function computeConcreteRec.hallgren
This also allows the parameter rec to be removed from function computeTermOpt. (The change is made in GF.Compile.Compute.ConcreteLazy, but not in GF.Compile.Compute.ConcreteStrict.)
2011-09-07GF.Grammar.Macros: simplify composOp and composSafeOphallgren
2011-09-05Make the -fcclazy configuration option visible in the build info in the GF ↵hallgren
Shell welcome message
2011-09-01Add lazy version of GF.Compile.Compute.Concretehallgren
This patch adds GF.Compile.Compute.ConcreteLazy, which replaces the Err monad with the Identity monad. While the Err monad makes the interpreter (hyper)strict, the Identity monad let's the interpreter inherit Haskell's laziness. This can give big speedups: from 50s to 1s in one example, from ~4 minutes to ~2 minutes for the RGL. This is still experimental and might be buggy, so it is off by default. You can turn it on by configuring with the -fcclazy flag, e.g. cabal configure -fcclazy Let me know if anything breaks.
2011-09-01GF.Grammar.*: generalized the type of some functions that can not fail from ↵hallgren
the Err monad to arbitrary monads
2011-08-31GF.Compile.Coding: cleaner code hallgren
Refine function codeTerm into codeTerm, codeLTerm and codeLTerms.
2011-08-31GF.Infra.Modules: minor tweakshallgren
Still keeping the modules both in a list and in a finite map. The overhead is smaller than I initially thought.
2011-08-30GF.Infra.Modules: restore module dependency order invarianthallgren
It is needed by greatestResource (and similar functions, presumably). So keep both the list and the finite map of modules. This slows down some things, but the compilation of PhrasebookFin.pgf benefits from it. To be continued...
2011-08-30GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ↵hallgren
list This speeds up the compilation of PhrasebookFin.pgf by 12%, mosly by speeding up calls to lookupModule in calls from lookupParamValues, in calls from allParamValues. The invariant "modules are stored in dependency order" is no longer respected! But the type MGrammar is now abstract, making it easier to maintain this or other invariants in the future.
2011-08-30few more fixes in the NLG grammarkr.angelov
2011-08-30GF.Grammar.Lookup: added function lookupQIdentInfohallgren
+ Avoids some code duplication by combinging lookupModule and lookupIdentInfo. + Also removed lookupIdentInfo from export list, since it is not used anywhere else.
2011-08-30PatternMatch.hs: commented out suspicious unused function varsOfPatthallgren
2011-08-30GrammarToPGF.hs: comment out unused importshallgren
2011-08-30added quantifier ambiguity in the NLG examplekr.angelov
2011-08-30added example for NLG from logical formula. See examples/nlgkr.angelov