| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-08-29 | Emacs only recognizes utf-8, not UTF-8, in file headers | peter.ljunglof | |
| 2012-08-29 | A basic infrastructure for generating Teyjus bytecode from the GF abstract ↵ | kr.angelov | |
| syntax | |||
| 2012-08-01 | the first draft of GF.Compile.Instructions | kr.angelov | |
| 2012-07-02 | Minor changes in Python export | peter.ljunglof | |
| 2012-06-28 | Fixed minor bug in prolog export | peter.ljunglof | |
| 2012-06-27 | major changes to the prolog export | peter.ljunglof | |
| 2012-06-27 | cleanup in the python export | peter.ljunglof | |
| 2012-06-26 | Experiment with parallel grammar checks | hallgren | |
| Introduced the function parallelCheck :: [Check a] -> Check [a] that runs independent checks in parallel, potentially allowing faster grammar compilation on multi-core computers, if you run gf with +RTS -N. However, on my dual core laptop, this seems to slow down compilation somewhat even though CPU utilization goes up as high as 170% at times. (This is with GF compiled with GHC 7.0.4.) | |||
| 2012-06-26 | GF.Infra.CheckM: comment out unused Context argument | hallgren | |
| 2012-06-26 | Report many type errors instead of stopping after the first one | hallgren | |
| In GF.Compile.CheckGrammar, use a new topological sorting function that groups independent judgements, allowing them all to be checked before continuing or reporting errors. | |||
| 2012-06-25 | Fix for warning messages from checkMapRecover | hallgren | |
| Reimplemented it with the new function accumulateError. Also keeping the formatting of errors and warnings unchanged for now, to avoid potentially causing problems in the GF Eclipse Plugin. | |||
| 2012-06-25 | removed spurious empty warnings | aarne | |
| 2012-06-25 | GF.Compile.Rename: report many errors instead of stopping after the first one | hallgren | |
| Using accumulated errors in the Check monad. TODO: some errors are still not accumulated, but thanks to checkMapRecover at least one error per judgement is reported. | |||
| 2012-06-25 | Check monad: support for accumulated errors | hallgren | |
| In addition to warnings, the Check monad in GF.Infra.CheckM can now accumulate errors. There are two new functions checkAccumError: Message -> Check () accumulateError :: (a -> Check a) -> a -> Check a The former (with the same type as checkWarn) is used to report an accumulated (nonfatal) error. The latter converts fatal errors into accumulated errors. Accumulated errors are reported as regular errors by runCheck. Also, the Check monad type has been made abstract. | |||
| 2012-06-25 | Export PGF in Python format | peter.ljunglof | |
| 2012-06-25 | warnings shown in checkMapRecover | aarne | |
| 2012-06-25 | checkMapRecover: find undefined idents in all jments in Rename | aarne | |
| 2012-06-25 | printing ResValue judgements as comments, to provide useful information when ↵ | aarne | |
| a conflict is found between parameter constructors | |||
| 2012-06-15 | Add file name to error message when reading a bad .gfo file (in some cases) | hallgren | |
| This turns error messages like gf: too few bytes. Failed reading at byte position 1 gf: /some/path/somefile.gfo: too few bytes. Failed reading at byte position 1 but a better fix would be to ignore bad .gfo files and compile from source. The problem is the way this decision is made in GF.Compile.ReadFiles.selectFormat... | |||
| 2012-06-10 | command option ma -known to drop unknown words | aarne | |
| 2012-05-30 | More detailed version info in the startup message | hallgren | |
| The Setup.hs script now queries darcs to create more detailed version info to include in the startup message. Note thought that with distributed version control systems like darcs, the only way to uniquely identify a version is by the set of patches included. Since the patches are not totally ordered, just looking at the last patch is not enough. For official releases, we tag the current set of patches so we can refer to it by name (e.g. RELEASE-3.3.3). | |||
| 2012-05-15 | missing case in partial evaluation of + fixed | aarne | |
| 2012-05-04 | alex 3 incompatibility workaround | hallgren | |
| 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-26 | Workaround for bug in ghc-7.2.2 | hallgren | |
| 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-26 | compiler/GF/Text/Coding.hs: fix build failure against ghc-7.2 | Sergei Trofimovich | |
| 2012-02-28 | bug fix in AppPredefined: don't compare values that contain variables. this ↵ | aarne | |
| should be checked even more generally. | |||
| 2012-02-28 | buf fix in the compiler for HOAS | kr.angelov | |
| 2012-02-24 | the Predef function eqVal to compare equality of parameter values | aarne | |
| 2012-02-23 | hindi-resource-grammar | virk.shafqat | |
| 2012-02-22 | gfse: experimental support for editing concrete syntax in text mode | hallgren | |
| 2012-02-21 | sindhipatch | virk.shafqat | |
| 2012-02-20 | GF.Inra.UseIO: add instance Functor IOE, add method fail to instance Monad IOE | hallgren | |
| 2012-01-14 | sorted 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-14 | gf -server[=port] | hallgren | |
| You can now specify which port the HTTP server should run on in server mode. The default is 41296. | |||
| 2011-12-02 | The typechecker is still unfinished but at least it can typecheck the ↵ | kr.angelov | |
| English resource grammar | |||
| 2011-12-02 | missing cases in GF.Grammar.Binary | kr.angelov | |
| 2011-11-30 | Hopefully complete Value type and a little bit more on computations. | kr.angelov | |
| 2011-11-30 | more stuff in the new type checker | kr.angelov | |
| 2011-11-29 | fix the compilation after the patch for the new type checker | kr.angelov | |
| 2011-11-29 | Sketch of the new type checker for the concrete syntax. Enabled only with ↵ | kr.angelov | |
| -new-comp | |||
| 2011-11-24 | now 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-22 | make addSequencesB(V) strict. Otherwise we get stack overflow when compiling ↵ | kr.angelov | |
| LangFre | |||
| 2011-11-17 | rebuildModule should do location globalization too | kr.angelov | |
| 2011-11-17 | bugfix in the overload resolution. It was accidentally introduced as part of ↵ | kr.angelov | |
| the per module PMCFG generation | |||
| 2011-11-15 | fix in the versioning of the .gfo files | kr.angelov | |
| 2011-11-15 | now 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-15 | now 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-15 | Now the errors messages from GF.Compile.Update also follow the new format | kr.angelov | |
| 2011-11-15 | the indirections in the .gf-tags files now point directly to the origin of ↵ | kr.angelov | |
| the corresponding indentifiers | |||
| 2011-11-15 | more structured format for errors and warnings from the compiler | kr.angelov | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |