summaryrefslogtreecommitdiff
path: root/src/GF
AgeCommit message (Collapse)Author
2008-10-16Export list in GF.Compile.GetGrammarbjorn
2008-10-16Copy command-line flags to in-memory module when reading from a .gfo file. ↵bjorn
This maeans that command-line flags get put in the .pgf file.
2008-10-16In shell "p" command, only try languages that have a parser.bjorn
2008-10-16A bit more verbosity when combining PGF files. Use putPointE when writing ↵bjorn
output files.
2008-10-16Honor --erasing flag from command-line also when compiling existing .gfo to PGF.bjorn
2008-10-15restored the possibility to compile .cf files to gfaarne
2008-10-15high-order syntax in PMCFGkrasimir
2008-10-15rename some variable nameskrasimir
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-15rename emptyFRulesEnv to emptyGrammarEnvkrasimir
2008-10-15threat category _Var as a literal categorykrasimir
2008-10-15store the total number of PMCFG categories in the PGF filekrasimir
2008-10-14literal categories in the incremental parserkrasimir
2008-10-14rudimentary abstract syntax type checker and solver in PGFaarne
2008-10-14paraphrase works a little better now ; added examples/paraphrase for testingaarne
2008-10-14remove trace in the PMCFG compilationkrasimir
2008-10-14the new optimized incremental parser and the common subexpression ↵krasimir
elimination optimization in PMCFG
2008-10-13added a paraphrase method applying def's in both directions, in subtrees, ↵aarne
and step by step; doesn't work properly yet
2008-10-10a first version of PGF.AbsComputeaarne
2008-10-10Added option to treat some categories as lexical when generating Haskell ↵bjorn
data types.
2008-10-06simplified 1.5 by removing mathematical/aarne
2008-10-05added a command for tree operations and started a module for defining themaarne
2008-10-05adapted old AbsCompute for use with source GF termsaarne
2008-10-05prevent pgf from being empty when there are no concrete syntaxesaarne
2008-10-05forced checking def definitions; accept pgf with no concretesaarne
2008-10-03print full types instead of lock field heuristics in overload resolution if ↵aarne
the heuristic is misleading
2008-10-03return error on undefined opers in instance and resourceaarne
2008-10-03Added | syntax for variants.bjorn
2008-10-02Regenerate source GF parser from GF.cf. Now, when GF/Source/Makefile is ↵bjorn
used, no hand-hacking is needed.
2008-10-02Added src/GF/Source/Makefile for regenerating the GF source parser from GF.cf.bjorn
2008-10-02Converted GF/Source/*.hs to Unix line endings, to be able to see what ↵bjorn
happens when I regenerated the files.
2008-10-02Fail more gracefully on unknown file name extensions.bjorn
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-30Use parantheses for precedence in pgf-pretty lincats.bjorn
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-30Fixed CFG start cats for categories with more than one constituent.bjorn
2008-09-30Use filtering in regular printer.bjorn
2008-09-30SRG conversion: print CFG when a unknown cat is found in renameCats. Do ↵bjorn
filtering in ebnf printer.
2008-09-30pgf-pretty: remove single field record lincat hack. handle f "" (S []) ↵bjorn
correctly.
2008-09-30Some pgf-pretty fixes, including note by Peter about W "apa" (S []).bjorn
2008-09-25Changes to the prolog output formatpeb
2008-09-26Added pgf-pretty output-formatbjorn
2008-09-26Added isLiteralCat function to PGF.Macros.bjorn
2008-09-26Added semantic interpretation tag printing to the *bnf grammar printers.bjorn
2008-09-26Use ebnf format for "regular" output-format.bjorn
2008-09-26Changed nolr printer to use EBNF format.bjorn
2008-09-26ebnf printer: print external cats first.bjorn
2008-09-26bnf and ebnf printer: align ::= symbols.bjorn