summaryrefslogtreecommitdiff
path: root/src/compiler/GF
AgeCommit message (Collapse)Author
2012-05-15missing case in partial evaluation of + fixedaarne
2012-05-04alex 3 incompatibility workaroundhallgren
As a temporary workaround, alex is no longer invoked automatically when building with cabal. Developers who want to modify the lexer need to run alex on Lexer.x manually and record the modified Lexer.hs. src/compiler/GF/Grammar/lexer/Lexer.x -- hidden from cabal src/compiler/GF/Grammar/Lexer.hs -- update it manually
2012-03-26Workaround for bug in ghc-7.2.2hallgren
An apparent bug in ghc-7.2.2 causes the type Value to be exported from PGF.Data. Workaround: restrict the imports from PGF.Data in GF.Command.Abstract and GF.Compile.GeneratePMCFG to avoid the clash with locally defined type Value. (ghc-7.0.4 and ghc-7.4.1 appear to be free from this bug.)
2012-03-26compiler/GF/Text/Coding.hs: fix build failure against ghc-7.2Sergei Trofimovich
2012-02-28bug fix in AppPredefined: don't compare values that contain variables. this ↵aarne
should be checked even more generally.
2012-02-28buf fix in the compiler for HOASkr.angelov
2012-02-24the Predef function eqVal to compare equality of parameter valuesaarne
2012-02-23hindi-resource-grammarvirk.shafqat
2012-02-22gfse: experimental support for editing concrete syntax in text modehallgren
2012-02-21sindhipatchvirk.shafqat
2012-02-20GF.Inra.UseIO: add instance Functor IOE, add method fail to instance Monad IOEhallgren
2012-01-14sorted the list of funs and cats in GrammatToPGF to get the predef ↵aarne
categories in proper place and get gr, ai, gt work properly
2011-12-14gf -server[=port]hallgren
You can now specify which port the HTTP server should run on in server mode. The default is 41296.
2011-12-02The typechecker is still unfinished but at least it can typecheck the ↵kr.angelov
English resource grammar
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 ↵kr.angelov
-new-comp
2011-11-24now if some module is compiled with -no-pmcfg then the PMCFG code is ↵kr.angelov
generated at the end during the linking phase. Now the default compilation of the libraries with cabal is with -no-pmcfg.
2011-11-22make addSequencesB(V) strict. Otherwise we get stack overflow when compiling ↵kr.angelov
LangFre
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
the per module PMCFG generation
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
different compiler then we simply recompile it.
2011-11-15now the pretty printer in GF has a new mode called Internal. This is the ↵kr.angelov
most detailed mode and it can print even things that are not in the GF syntax. For example PMCFG snippets and indirections.
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 ↵kr.angelov
the corresponding indentifiers
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 ↵kr.angelov
compilation schema is few times faster.
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
separate PGF building
2011-11-02Now the compiler maintains more precise information for the source locations ↵kr.angelov
of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
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
Commented out, causes problems in the greek example.
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
This makes it easier to treat run-time errors (e.g. caused by calls to Predef.error) in a way that is more typical for a lazy functional language.
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-10 15:54:24 +0000