summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile
AgeCommit message (Expand)Author
2012-10-19Refactor compileSourceModulehallgren
2012-10-19Consistenly use SourceGrammar instead of [SourceModule] when calling compiler...hallgren
2012-10-18Use NOINLINE for build info and darcs version infohallgren
2012-09-18catch all case in GenerateBC.genFunkr.angelov
2012-09-06Add type info to "Warning: ignoring lock fields in resolving..."hallgren
2012-08-30another fix for teyjuskr.angelov
2012-08-29Use nub' instead of nub in some places, remove some unused nub importspeter.ljunglof
2012-08-29Added an O(n log n) version of nubpeter.ljunglof
2012-08-29Emacs only recognizes utf-8, not UTF-8, in file headerspeter.ljunglof
2012-08-29A basic infrastructure for generating Teyjus bytecode from the GF abstract sy...kr.angelov
2012-08-01the first draft of GF.Compile.Instructionskr.angelov
2012-07-02Minor changes in Python exportpeter.ljunglof
2012-06-28Fixed minor bug in prolog exportpeter.ljunglof
2012-06-27major changes to the prolog exportpeter.ljunglof
2012-06-27cleanup in the python exportpeter.ljunglof
2012-06-26Experiment with parallel grammar checkshallgren
2012-06-26Report many type errors instead of stopping after the first onehallgren
2012-06-25GF.Compile.Rename: report many errors instead of stopping after the first onehallgren
2012-06-25Check monad: support for accumulated errorshallgren
2012-06-25Export PGF in Python formatpeter.ljunglof
2012-06-25checkMapRecover: find undefined idents in all jments in Renameaarne
2012-05-15missing case in partial evaluation of + fixedaarne
2012-03-26Workaround for bug in ghc-7.2.2hallgren
2012-02-28bug fix in AppPredefined: don't compare values that contain variables. this s...aarne
2012-02-28buf fix in the compiler for HOASkr.angelov
2012-02-24the Predef function eqVal to compare equality of parameter valuesaarne
2012-01-14sorted the list of funs and cats in GrammatToPGF to get the predef categories...aarne
2011-12-02The typechecker is still unfinished but at least it can typecheck the English...kr.angelov
2011-11-30Hopefully complete Value type and a little bit more on computations.kr.angelov
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-24now if some module is compiled with -no-pmcfg then the PMCFG code is generate...kr.angelov
2011-11-22make addSequencesB(V) strict. Otherwise we get stack overflow when compiling ...kr.angelov
2011-11-17rebuildModule should do location globalization tookr.angelov
2011-11-17bugfix in the overload resolution. It was accidentally introduced as part of ...kr.angelov
2011-11-15fix in the versioning of the .gfo fileskr.angelov
2011-11-15now we store version number in every .gfo file. If the file is compiled with ...kr.angelov
2011-11-15Now the errors messages from GF.Compile.Update also follow the new formatkr.angelov
2011-11-15the indirections in the .gf-tags files now point directly to the origin of th...kr.angelov
2011-11-15more structured format for errors and warnings from the compilerkr.angelov
2011-11-14bugfix in the new PGF generationkr.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-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