summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Infra
AgeCommit message (Expand)Author
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
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ...krasimir
2010-07-01redesign the open-literals APIkrasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work well...krasimir
2010-04-28wf,vt,vp,vd,aw should store files in utf8krasimir
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-03-23added codepage for Turkishkrasimir
2010-03-22store and propagate the exact source location for all judgements in the gramm...krasimir
2010-03-20added experimental generation of Lambda Prolog code. Could be used for exhaus...krasimir
2010-01-31refactor GF.Infra.Modules for better error messageskrasimir
2010-01-17PGF is now real synchronous PMCFGkrasimir
2009-12-14remove the old parsing code and the -erasing=on flagkrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 11:14:42 +0000