summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
2011-04-06generate Eq instance for GADTaarne
2011-04-06fixed the printing of predefined and list categories in haskell=gadtaarne
2011-03-12make it possible to override opers defined in an interface by syntax 'instanc...aarne
2011-03-12make later flags take priority over earlier ones in PGF generation aarne
2011-03-05added composOp generation to haskell-gadt, and an example in examples/gadt-tr...aarne
2011-03-04revived GADT generationaarne
2011-03-04fixed a variable refreshing bug in the compileraarne
2011-02-25Predef.error surfaces as error message in compilation and cc commandaarne
2010-12-17bugfix: GeneratePMCFG should initialize the lexicon to emptykrasimir
2010-12-14type checking of oper types with let expressionsaarne
2010-12-11fixed the failure to partial-evaluate pre in right-associative contextaarne
2010-12-07moved PGF.ToApi to GF.Compile.ToAPIaarne
2010-12-06printing option -api in the eb commandaarne
2010-11-30format .gfm for multiple modules in the same file; includes lines with ;-sepa...aarne
2010-11-26Add builtin preprocessors. Avoid creating tmp file. Fix multipreprocessor bug.hallgren
2010-11-12operations in the abstract syntaxkrasimir
2010-10-25fixed typo in GeneratePMCFG.hs. fidFloat -> fidVarkrasimir
2010-10-18added explicit depth parameter to the parsing API and the corresponding comma...krasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
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
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. No...krasimir
2010-06-30rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int...krasimir
2010-06-22fix the compilation of literal categories in GeneratePMCFG.hskrasimir
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 printnam...krasimir
2010-06-17rename GF.Grammar.Predef.isPredefCat to isLiteralCatkrasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work well...krasimir
2010-06-08fixed bug in the recompilation checker which caused the phrasebook to be reco...krasimir
2010-06-08bugfix for flag -no-recompkrasimir
2010-05-28refactoring in GF.Grammar.Grammarkrasimir
2010-05-26since now we don't do common subexpression elimination for PGF we could simpl...krasimir
2010-05-08spacing of German numeralsaarne
2010-04-30for backward compatibility we have the old parse function again. the old func...krasimir
2010-04-30first incarnation of the bracketed string APIkrasimir
2010-04-19use the native unicode support from GHC 6.12krasimir
2010-03-31fixed a deep bug in TypeCheck due to swap of arguments; print empty record as...aarne
2010-03-24bugfix in the lProlog generatorkrasimir
2010-03-24partial support for def-rules in the Lambda Prolog generationkrasimir
2010-03-24now for every category we store, in PGF, the list of functions for it in sour...krasimir
2010-03-23typo in CheckGrammarkrasimir
2010-03-23use the new more accurate location information for some error messageskrasimir
2010-03-22store and propagate the exact source location for all judgements in the gramm...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-21 03:48:55 +0000