summaryrefslogtreecommitdiff
path: root/src/GF/Infra
AgeCommit message (Collapse)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated
2009-11-12before the optimizations OptParametrize and OptValues were applied twice. in ↵krasimir
addition the values optimization is now always applied because it become very cheep
2009-10-06hopefully the last revision of the relative paths handling algorithmkrasimir
2009-10-05another attempt to get the paths handling rightkrasimir
2009-10-03bugfix in extendPathEnvkrasimir
2009-10-02refactor GF.Infra.CheckM and use the CheckM monad in the renamer as wellkrasimir
2009-09-20syntax for implicit arguments in GFkrasimir
2009-09-20rename Decl in GF.Grammar.Grammar to Hypo to match the convention in PGFkrasimir
2009-09-17remove the transfer modules. We don't need anything special, a transfer ↵krasimir
module is module without concrete syntax
2009-09-14clean up the GF.Grammar APIkrasimir
2009-09-14CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that ↵krasimir
was hiding the warnings
2009-09-05simple profiler for PMCFGkrasimir
2009-06-16make erasing=on the defaultkrasimir
2009-05-20fix the generation of warnings in CheckGrammar. They are printed even in ↵krasimir
quiet mode and the prefix "Warning" is added automatically
2009-05-20simpler algorithm for file searching in the compiler. should be equivalent ↵krasimir
to the previous one
2009-05-09implement --gfo-dir. before it was recognized but ignoredkrasimir
2009-04-30added -gf-lib-path option which overides the value of GF_LIB_PATHkrasimir
2009-03-16use new parser which supports the syntax in GF.Grammar.Grammar directlykrasimir
2009-03-13remove the obsolete GF.Infra.PrintClasskrasimir
2009-02-23fix the handling of flag codingkrasimir
2009-02-07PMCFG pretty printerkrasimir
2009-02-01the new pretty printer is now used for all -dump-* options. added ↵krasimir
-dump-source. implemented -dump-opt
2009-01-31the dependency graph now shows all dependencieskrasimir
2009-01-31some dead code elimination in UseIO and ReadFileskrasimir
2009-01-31bug fix in the module dependencies checkerkrasimir
2009-01-23--make now implies --batchkrasimir
2009-01-19refactor the GF.Grammar.Grammar syntax. The obsolete constructions are removedkrasimir
2008-12-19command dg for showing source grammar dep graph restoredaarne
2008-11-27More efficient implementation of topological sort. bjorn
Profiling the compilation of the OALD lexicon showed that 90-95% of the time was spent in topoSort. The old implementation was quadratic. Replaced this with O(E + V) implementation, in GF.Data.Relation. This gave a 10x speed-up (~ 25 sec instead of ~270 sec) for compiling ParseEng and OaldEng.
2008-10-28binary serialization for PGFkrasimir
2008-10-20Added --parser=ondemand flag.bjorn
2008-10-19move PGF.Quiz to GF.Quiz. It is not part of the PGF APIkrasimir
2008-10-16A bit more verbosity when combining PGF files. Use putPointE when writing ↵bjorn
output files.
2008-10-15Copy command-line options to module flags when compiling to .gfo.bjorn
2008-10-15Merge ModuleOptions and Options.bjorn
2008-10-15Added OPTIONS class to make options handling somewhat nicer. Next, I will ↵bjorn
merge Flags and ModuleFlags.
2008-10-14the new optimized incremental parser and the common subexpression ↵krasimir
elimination optimization in PMCFG
2008-10-10Added option to treat some categories as lexical when generating Haskell ↵bjorn
data types.
2008-10-01added mode 'gf --run' for running silently a script ; made quizzes handle ↵aarne
character encoding correctly ; for this end, collected coding functions in GF.Text.Coding
2008-09-30Added --cfg option for specifying which CFG transformations to use. Added ↵bjorn
startcatonly CFG trasnformation. Removed output formats that are now easily done with --cfg: "regular", "nolr".
2008-09-26Added pgf-pretty output-formatbjorn
2008-09-26Added --output-format=ebnf.bjorn
2008-09-25Added --output-format=nolr. Minor makeRegular refactoring.bjorn
2008-09-25Added --output-format=regular.bjorn
2008-09-25Added an FCFG output format (--output-format=fcfg). This now lives in ↵bjorn
GF.Speech.PGFToCFG, but should probably move somewhere else.
2008-09-23Added srgs_abnf_nonrec grammar printer to GF.Infra.Options.bjorn
2008-09-15A somewhat better solution to the words/UTF-8 problem: do encoding last, but ↵bjorn
only on what appears to be string literals.
2008-09-15Temporary fix for the grave accent a encoding problem: change compatPrint to id.bjorn
The problem is that lower case a with a grave accent is coded in UTF-8 as \195\160. Unicode character \160 is non-breaking space, so Haskell's words function will break a UTF-8 encoded string at this character. String literals in the .gfo file are UTF-8 encoded in generateModuleCode, just before the call to prGrammar (which uses compactPrint, which used words). The real solution would be to pretty-print the grammar to Unicode, and then encode as UTF-8. The problem with that is Latin-1 identifers. They are now kept in Latin-1 in the .gfo file, since Alex can't handle Unicode. The real solution to that would be to fix Alex to handle Unicode, but that is non-trivial. GHC interally uses a very hacky .x file to be able to lex UTF-8 source files. An alternative solution that doesn't address the weirdness of using two different encodings in the same .gfo as we do now, is to incorporate compactPrint into the grammar printer, to avoid having to do any postprocessing.
2008-09-03Added --haskell-prefix option for changing the constructor prefix in ↵bjorn
generated Haskell modules.
2008-09-03new PGF output format: prolog syntaxpeb
* output a PGF grammar in prolog readable syntax * variables in abstract syntax (hypotheses and lambda-abstractions) are translated to unique logical variables * PGF terms in concrete syntax are translated to more prolog-like terms