summaryrefslogtreecommitdiff
path: root/src/compiler/GF
AgeCommit message (Expand)Author
2012-01-14sorted the list of funs and cats in GrammatToPGF to get the predef categories...aarne
2011-12-14gf -server[=port]hallgren
2011-12-02The typechecker is still unfinished but at least it can typecheck the English...kr.angelov
2011-12-02missing cases in GF.Grammar.Binarykr.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-29fix the compilation after the patch for 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 pretty printer in GF has a new mode called Internal. This is the most...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-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-11-01Fixed a typo in the shell online helpNick Frolov
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-20Some experiments with PSeq (left commented out)hallgren
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-26don't count app nodes in term sizeaarne
2011-09-25structured examples in help into pairs (command,explanation)aarne
2011-09-24bug fixes in code size analysisaarne
2011-09-22change the precedence for the left argument of ->kr.angelov
2011-09-22the sd -size command now shows the size of all code needed for defining an operaarne
2011-09-22documented the ss commandaarne
2011-09-21statistics on grammar size in terms of constructorsaarne
2011-09-21commands ss to show source, and sd to show the dependencies of a constantaarne
2011-09-20module for analysing source grammarsaarne
2011-09-20command ss to show source (including gfo) in text; to be extendedaarne
2011-09-15Add a command name header to the 'help -t2t' outputhallgren
2011-09-15made ps -from_TRANSLIT symmetric to -to_TRANSLIT in the sense that unknown ch...aarne
2011-09-14Omit empty sections in gf help outputhallgren
2011-09-14GF shell command 'help -t2t' outputs help in txt2tags formathallgren
2011-09-09Don't make noexpand the default with -fcclazyhallgren
2011-09-09Make noexpand the default optimization package when configuring with -fcclazyhallgren