summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Infra
AgeCommit message (Expand)Author
2012-11-14Add flag --document-root for user with gf --serverhallgren
2012-11-14GF usage message fixeshallgren
2012-11-13Adding a new experimental partial evalutatorhallgren
2012-11-08Eliminate warnings about deprecated use of catch and tryhallgren
2012-10-23cleanuphallgren
2012-10-19Refactor compileSourceModulehallgren
2012-10-18Use NOINLINE for build info and darcs version infohallgren
2012-09-26SIO bug fixhallgren
2012-09-25Use the SIO monad in the GF shellhallgren
2012-09-25GF.Infra.SIO.hs: adding the SIO monad (where S = Shell or Safe)hallgren
2012-08-29Use nub' instead of nub in some places, remove some unused nub importspeter.ljunglof
2012-08-29A basic infrastructure for generating Teyjus bytecode from the GF abstract sy...kr.angelov
2012-06-27major changes to the prolog exportpeter.ljunglof
2012-06-26Experiment with parallel grammar checkshallgren
2012-06-26GF.Infra.CheckM: comment out unused Context argumenthallgren
2012-06-26Report many type errors instead of stopping after the first onehallgren
2012-06-25Fix for warning messages from checkMapRecoverhallgren
2012-06-25removed spurious empty warningsaarne
2012-06-25Check monad: support for accumulated errorshallgren
2012-06-25Export PGF in Python formatpeter.ljunglof
2012-06-25warnings shown in checkMapRecoveraarne
2012-06-25checkMapRecover: find undefined idents in all jments in Renameaarne
2012-05-30More detailed version info in the startup messagehallgren
2012-02-20GF.Inra.UseIO: add instance Functor IOE, add method fail to instance Monad IOEhallgren
2011-12-14gf -server[=port]hallgren
2011-11-30more stuff in the new type checkerkr.angelov
2011-11-29Sketch of the new type checker for the concrete syntax. Enabled only with -ne...kr.angelov
2011-11-15more structured format for errors and warnings from the compilerkr.angelov
2011-11-14remove the -output-file optionkr.angelov
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-10remove few obsolete options from GF.Infra.Optionskr.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-09-09Don't make noexpand the default with -fcclazyhallgren
2011-09-09Make noexpand the default optimization package when configuring with -fcclazyhallgren
2011-09-05Make the -fcclazy configuration option visible in the build info in the GF Sh...hallgren
2011-08-31GF.Infra.Modules: minor tweakshallgren
2011-08-30GF.Infra.Modules: restore module dependency order invarianthallgren
2011-08-30GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ...hallgren
2011-04-13Added a preliminary "gf -server" mode.hallgren
2011-04-13Show configuration options as part of build infohallgren
2011-04-13GF.Infra.UseIO: add functions readBinaryFile & writeBinaryFilehallgren
2011-04-04Add build info to the GF shell welcome messagehallgren
2010-12-11Adding an option to the gf compiler to add an index to pgf filesgdetrez
2011-03-12make it possible to override opers defined in an interface by syntax 'instanc...aarne
2011-03-03GF shell restricted modehallgren
2010-12-14updated documentation of pg -printer formatsaarne
2010-12-14documented the pgf -printer values for helpaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-21 05:12:26 +0000