summaryrefslogtreecommitdiff
path: root/src/compiler
AgeCommit message (Collapse)Author
2010-09-24restored the .ebnf grammar formataarne
2010-09-22the first revision of exhaustive and random generation with dependent types. ↵krasimir
Still not quite stable.
2010-09-22cleanup and export the Probabilistic API from PGFkrasimir
2010-08-30added missing case for GF.Compile.GeneratePMCFG.evalTermkrasimir
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ↵krasimir
parse forest
2010-07-15fix the algorithm for items cutting in the partial parserkrasimir
2010-07-07report type errors in the shell from command "p"krasimir
2010-07-01the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hskrasimir
2010-07-01reorganize the modules in GF.Compile.*krasimir
2010-07-01redesign the open-literals APIkrasimir
2010-06-30compilation of pattern matching using the algorithm of Lennart Augustsson. ↵krasimir
Not used yet
2010-06-30rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> ↵krasimir
fid(String|Int|Float)
2010-06-29forgot to fix the import in GF.Speech.CFG to get the Token typekrasimir
2010-06-29introduce the type synonym Token=String in the PGF APIkrasimir
2010-06-22fix the compilation of literal categories in GeneratePMCFG.hskrasimir
2010-06-21GF.Grammar.Printer: print expressions with lincat and linkrasimir
2010-06-20addFCoercion -> addCoercion in GeneratePMCFGkrasimir
2010-06-20getFCats -> getFIds in GeneratePMCFGkrasimir
2010-06-20removed debugging code in GeneratePMCFG.hskrasimir
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
2010-06-18the automatically generated printnames were just junks. Now we store ↵krasimir
printnames only if they are explicitly specified.
2010-06-17rename GF.Grammar.Predef.isPredefCat to isLiteralCatkrasimir
2010-06-17GF.Grammar.Lookup.allParamValues now works for table types as wellkrasimir
2010-06-03case for pre in CF generation (ignores alternatives so far)aarne
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work ↵krasimir
well with metavariables and high-order abstract syntax
2010-06-08fixed bug in the recompilation checker which caused the phrasebook to be ↵krasimir
recompiled each time
2010-06-08bugfix for flag -no-recompkrasimir
2010-06-08revert change in GF.Grammar.Printer that was intended for debugging onlykrasimir
2010-05-28refactoring in GF.Grammar.Grammarkrasimir
2010-05-28composOp should iterate under ImplArgkrasimir
2010-05-28bugfix in GF.Grammar.Printerkrasimir
2010-05-26since now we don't do common subexpression elimination for PGF we could ↵krasimir
simplify the PMCFG generation
2010-05-19now the parser could return partial parse resultskrasimir
2010-05-08spacing of German numeralsaarne
2010-05-07Amharic transliteration by Markosaarne
2010-04-30for backward compatibility we have the old parse function again. the old ↵krasimir
functionality is exposed by parse_
2010-04-30first incarnation of the bracketed string APIkrasimir
2010-04-28new option pg -funsaarne
2010-04-28wf,vt,vp,vd,aw should store files in utf8krasimir
2010-04-27fix the -view option for vt,vp,vd,aw to work on Windowskrasimir
2010-04-24convert GF.Data.SortedList to UTF8krasimir
2010-04-22removed mention of 2.9 welcome, and some traces in visualizationaarne
2010-04-19fix command cc for Unicodekrasimir
2010-04-19always use Haskeline. drop Readline & Editlinekrasimir
2010-04-19use the native unicode support from GHC 6.12krasimir
2010-04-06dependency graph can be restricted to some modules; added help dgaarne
2010-04-04in the shell, permit 3-letter lang codes as concrete syntax namesaarne
2010-04-01Urdu transliteration fixed (by Shafqat)aarne
2010-03-31fixed a deep bug in TypeCheck due to swap of arguments; print empty record ↵aarne
as <> instead of {} to distinguish from empty record type
2010-03-24bugfix in the lProlog generatorkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-22 01:15:56 +0000