| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-10-20 | Compute/ConcreteLazy.hs: no need to reverse when looking up labels in records | hallgren | |
| 2011-10-20 | AppPredefined.hs: more readable notation for the types of primitives | hallgren | |
| 2011-09-09 | Remove 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-01 | Add lazy version of GF.Compile.Compute.Concrete | hallgren | |
| 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-08-31 | GF.Compile.Coding: cleaner code | hallgren | |
| Refine function codeTerm into codeTerm, codeLTerm and codeLTerms. | |||
| 2011-08-31 | GF.Infra.Modules: minor tweaks | hallgren | |
| Still keeping the modules both in a list and in a finite map. The overhead is smaller than I initially thought. | |||
| 2011-08-30 | GF.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-30 | GrammarToPGF.hs: comment out unused imports | hallgren | |
| 2011-08-25 | reload command in shell | aarne | |
| 2011-08-22 | commented Compute/Concrete with explanations | aarne | |
| 2011-07-21 | GenIP, GenRP in Extra and any_Quant in ExtraEng | aarne | |
| 2011-06-02 | Predef functions toUpper, toLower, isUpper | aarne | |
| 2011-04-06 | generate Eq instance for GADT | aarne | |
| 2011-04-06 | fixed the printing of predefined and list categories in haskell=gadt | aarne | |
| 2011-03-12 | make it possible to override opers defined in an interface by syntax ↵ | aarne | |
| 'instance Foo of Bar - [f,g,h]' | |||
| 2011-03-12 | make later flags take priority over earlier ones in PGF generation | aarne | |
| 2011-03-05 | added composOp generation to haskell-gadt, and an example in ↵ | aarne | |
| examples/gadt-transfer | |||
| 2011-03-04 | revived GADT generation | aarne | |
| 2011-03-04 | fixed a variable refreshing bug in the compiler | aarne | |
| 2011-02-25 | Predef.error surfaces as error message in compilation and cc command | aarne | |
| 2010-12-17 | bugfix: GeneratePMCFG should initialize the lexicon to empty | krasimir | |
| 2010-12-14 | type checking of oper types with let expressions | aarne | |
| 2010-12-11 | fixed the failure to partial-evaluate pre in right-associative context | aarne | |
| 2010-12-07 | moved PGF.ToApi to GF.Compile.ToAPI | aarne | |
| 2010-12-06 | printing option -api in the eb command | aarne | |
| 2010-11-30 | format .gfm for multiple modules in the same file; includes lines with ↵ | aarne | |
| ;-separated words | |||
| 2010-11-26 | Add builtin preprocessors. Avoid creating tmp file. Fix multipreprocessor bug. | hallgren | |
| * The gf command line options -preproc=mkPresent and -preproc=mkMinimal now refer to internal preprocessors equivalent to lib/src/mkPresent and lib/src/mkMinimal. * The temporary file _gf_preproc.tmp is not created when running an internal preprocessor, unless there is an error, since errors messages refer to locations in the preprocessed file. (Possibly allowing the rgl build to be parallelized.) * After running an external preprocessor, the temporary file is deleted, unless there was an error. * (Bug fix) Before, when running more than one preprocessor, the same file name would be used for both input and output, e.g., mkPresent _gf_preproc.tmp > _gf_preproc.tmp which would result in an empty file being processed. Now, the input and output files will always be different. | |||
| 2010-11-12 | operations in the abstract syntax | krasimir | |
| 2010-10-25 | fixed typo in GeneratePMCFG.hs. fidFloat -> fidVar | krasimir | |
| 2010-10-18 | added explicit depth parameter to the parsing API and the corresponding ↵ | krasimir | |
| command in the shell | |||
| 2010-10-02 | refactor the API for random generation again. Now PGF contains probabilities ↵ | krasimir | |
| in the abstract syntax | |||
| 2010-08-30 | added missing case for GF.Compile.GeneratePMCFG.evalTerm | krasimir | |
| 2010-08-09 | native representation for HOAS in PMCFG and incremental type checking of the ↵ | krasimir | |
| parse forest | |||
| 2010-07-07 | report type errors in the shell from command "p" | krasimir | |
| 2010-07-01 | the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hs | krasimir | |
| 2010-07-01 | reorganize the modules in GF.Compile.* | krasimir | |
| 2010-07-01 | redesign the open-literals API | krasimir | |
| 2010-06-30 | compilation of pattern matching using the algorithm of Lennart Augustsson. ↵ | krasimir | |
| Not used yet | |||
| 2010-06-30 | rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> ↵ | krasimir | |
| fid(String|Int|Float) | |||
| 2010-06-22 | fix the compilation of literal categories in GeneratePMCFG.hs | krasimir | |
| 2010-06-20 | addFCoercion -> addCoercion in GeneratePMCFG | krasimir | |
| 2010-06-20 | getFCats -> getFIds in GeneratePMCFG | krasimir | |
| 2010-06-20 | removed debugging code in GeneratePMCFG.hs | krasimir | |
| 2010-06-18 | Yay!! Direct generation of PMCFG from GF grammar | krasimir | |
| 2010-06-18 | the automatically generated printnames were just junks. Now we store ↵ | krasimir | |
| printnames only if they are explicitly specified. | |||
| 2010-06-17 | rename GF.Grammar.Predef.isPredefCat to isLiteralCat | krasimir | |
| 2010-06-09 | dead code elimination for PGF. Note: the produced grammars will not work ↵ | krasimir | |
| well with metavariables and high-order abstract syntax | |||
| 2010-06-08 | fixed bug in the recompilation checker which caused the phrasebook to be ↵ | krasimir | |
| recompiled each time | |||
| 2010-06-08 | bugfix for flag -no-recomp | krasimir | |
| 2010-05-28 | refactoring in GF.Grammar.Grammar | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |