summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
2011-11-14the new design for -tagskr.angelov
2011-11-10Now PMCFG is compiled per module and at the end we only link it. The new comp...kr.angelov
2011-11-02merge GF.Infra.Modules and GF.Grammar.Grammar. This is a preparation for the ...kr.angelov
2011-11-02Now the compiler maintains more precise information for the source locations ...kr.angelov
2011-11-01Remove configuration flag cclazyhallgren
2011-10-25Recording an alternative version of look in Compute/ConcreteLazy.hshallgren
2011-10-25qualification with real module name accepted, as in GF refmanaarne
2011-10-24use associativity to force more precompilation of pre expressionsaarne
2011-10-20Introduce an explicit error value in the Term typehallgren
2011-10-20Compute/ConcreteLazy.hs: no need to reverse when looking up labels in recordshallgren
2011-10-20AppPredefined.hs: more readable notation for the types of primitiveshallgren
2011-09-09Remove unused function computeConcreteRec.hallgren
2011-09-01Add lazy version of GF.Compile.Compute.Concretehallgren
2011-08-31GF.Compile.Coding: cleaner code hallgren
2011-08-31GF.Infra.Modules: minor tweakshallgren
2011-08-30GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ...hallgren
2011-08-30GrammarToPGF.hs: comment out unused importshallgren
2011-08-25reload command in shellaarne
2011-08-22commented Compute/Concrete with explanationsaarne
2011-07-21GenIP, GenRP in Extra and any_Quant in ExtraEngaarne
2011-06-02Predef functions toUpper, toLower, isUpperaarne
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