summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2014-09-29bugfix in the RET instructionkr.angelov
2014-09-29enlarge the code window in pgf_jit_gates to ensure enough space on 64-bit ↵kr.angelov
machines
2014-09-27checked that course of value tables (table P [...]) have the correct number ↵aarne
of values w.r.t the type P. This was previously not checked, and caused hard-to-find run-time errors.
2014-09-26command for AppEngFinaarne
2014-09-25the literals API is now exposed in Pythonkr.angelov
2014-09-25switch off the debugging of the JIT compiler which I had turned on ↵kr.angelov
accidentally. silence two harmless warnings
2014-09-25now a complete JIT compiler and ByteCode compiler for the def rules in the ↵kr.angelov
abstract syntax. there might be some bugs yet to be found, meta variables and computation under lambda is only partially supported
2014-09-23examples/app/Makefile2: add missing -probs flaghallgren
2014-09-23doc/gf-developers.t2t: add a note about how to create OS X Installer packageshallgren
2014-09-22haskell-bind/PGF2.hsc: unexport functions that break referential transparencyhallgren
loadConcr, unloadConcr and addLiteral modify the Concr structure as a side effect. This means that other functions with a Concr argument (e.g. parse and linearize) are no longer pure. Possible solutions: 1. Don't try to hide the imperative nature of the C run-time system: remove all uses of unsafePerformIO and let all functions operate in the IO monad. 2. Don't export functions with side effects. Perhaps the desired functionality of loadConcr, unloadConcr and addLiteral can be folded into readPGF. The Concr structures can then treaded as immutable after after the readPGF function returns...
2014-09-17forgot to type check the type of a typed let expressionkr.angelov
2014-09-17appForm now skips over Typed expressionskr.angelov
2014-09-17the type checker for the abstract syntax now allows let expressions in def ↵kr.angelov
rules, since they are easily compilable to byte code. This fails in the Haskell runtime since let expressions are not allowed as abstract syntax expressions.
2014-09-17fix a portability problem with the Python binding (found by Prasanth)kr.angelov
2014-09-16dummy jit_base_tail_finishr for x86_64. kr.angelov
2014-09-15enabled VP-valued rules for V2V, V3, etc in App. Improve quality with less ↵aarne
loss of speed than VPSlash-valued original rules.
2014-09-14enabled many more functions, in particular verb patterns, in App, to ↵aarne
increase translation quality. This comes with 30% longer translation time with my benchmark but should still be OK.
2014-09-12GF index: shortcut links to Android app, Best practices, REMU, and new ↵aarne
Android development instructions
2014-09-11a major revision of the bytecode generator and JIT compiler. the effect is ↵kr.angelov
that now we can compute with lambda functions and with true tail recursion
2014-09-11gf.cabal: add missing c-sources for the Haskell binding to the C run-time ↵hallgren
library
2014-09-11Setup.hs: don't ask darcs for the version history if _darcs is not presenthallgren
This is to avoid a (harmless) error message from darcs when compiling sources obtained e.g. from github.
2014-09-10now release the FunPtr:s that are allocated for each literal callbackkr.angelov
2014-09-10added an API for custom literals in the Haskell bindingkr.angelov
2014-09-10added loadConcr/unloadConcr to the Haskell binding. This exposes an API for ↵kr.angelov
loading grammars compiled with -split-pgf
2014-09-09Wide Coverage Demo web app: use the App grammar instead of the Translate grammarhallgren
This gives faster but slightly lower quality translations.
2014-09-08(1) Refactor concurrency, (2) write to .gfo.tmp then rename to .gfohallgren
(1) introduces the module GF.Infra.Concurreny with lifted concurrency operators (to reduce uses of liftIO) and some additional concurrency utilities, e.g. a function for sequential logging that is used in both GF.CompileInParallel and GFServer. (2) avoids leaving broken .gfo files behind if compilation is aborted.
2014-09-05the code for def rules now uses proper graph update to preserve lazynesskr.angelov
2014-09-05full support for recursive def rules in the C runtimekr.angelov
2014-09-03gf.cabal, gf-server.cabal: add version bounds on network & httpd-shedhallgren
* httpd-shed-0.4 does not specify an upper bound on network, but it fails to build against network>=2.6. This is fixed in httpd-shed-0.4.0.2. * With network-2.6, the Network.URI modules is moved to a separate package, so for the time being GF requires network>=2.3 && <2.6. This is compatible with the four most recent versions of the Haskell Platform.
2014-09-02src/server: refactoring to isolate dependencies on the cgi/fastcgi packageshallgren
* Introducing the module CGI, re-exporting a subset of the cgi package. It might complete replace the cgi package in the future. * Introducing the module CGIUtils, containing functions from FastCGIUtils that have nothing to do with fastcgi. Some low level hackery with unsafePerformIO and global variables was left in FastCGIUtils, but it is actually not used, neither for gf -server nor exec/pgf-fcgi.hs.
2014-09-01partial implementation for recursive def ruleskr.angelov
2014-09-01bug fixes in the JIT compilerkr.angelov
2014-08-30by_Prep causing conflict in AppChi, therefore excluded from the import of ↵aarne
PhrasebookChi
2014-08-30examples/app/Makefile2: simplifed Makefile for the App grammar (doesn't work ↵hallgren
yet) This makefile just calls GF once and lets GF figure out in which order to compile things. It uses the -j flag to enable parallel compilation and specifies an explicit -path, overriding the -path flags in the source files. This allows all needed modules to be found automatically and ensures that that alltenses is consistently used everywhere. But for some reason, this doesn't work...
2014-08-29Add OS X Installed package to the GF 3.6 download pagehallgren
2014-08-29bin/build-binary-dist.sh: just a small fixhallgren
2014-08-29added evaluator.h which I had forgotenkr.angelov
2014-08-28You can now use 'make pkg' to build OS X Installer packages for GFhallgren
The script bin/build-binary-dist.sh has been updated to build either a plain .tar.gz package or OS X Installer package (.pkg). Note that bin/build-binary-dist.sh is designed to build and include the C run-time system in the binary package. If the C run-time system fails to build, no binary package will be created.
2014-08-25gf.cabal ghc-options: don't force -j, -auto-all has been renamed to -fprof-autohallgren
2014-08-25Fix GHC 7.4 compatibility issue caused by previous patchhallgren
2014-08-25Setup.hs: disable parallel RGL build support for now, since it is ↵hallgren
incompatible with Cabal<1.20
2014-08-25Experimental: parallel batch compilation of grammarshallgren
On my laptop these changes speed up the full build of the RGL and example grammars with 'cabal build' from ~95s to ~43s and the zero build from ~18s to ~5s. The main change is the introduction of the module GF.CompileInParallel that replaces GF.Compile and the function GF.Compile.ReadFiles.getAllFiles. At present, it is activated with the new -j flag, and it is only used when combined with --make or --batch. In addition, to get parallel computations, you need to add GHC run-time flags, e.g., +RTS -N -A20M -RTS, to the command line. The Setup.hs script has been modified to pass the appropriate flags to GF for parallel compilation when compiling the RGL and example grammars, but you need a recent version of Cabal for this to work (probably >=1.20). Some additonal refactoring were made during this work. A new monad is used to avoid warnings/error messages from different modules to be intertwined when compiling in parallel, so some functios that were hardiwred to the IO or IOE monads have been lifted to work in arbitrary monads that are instances in the appropriate classes.
2014-08-24made the "how old" construction in Chinese more efficient by moving variants ↵aarne
to the top level; the resulting rule is the same. This kind of inefficiencies are best found if you compile with the -v option and check for constructors creating unexpectedly many PGF rules.
2014-08-22bugfix in the android appkr.angelov
2014-08-22src/www/robots.txt: robot exclusion file for the GF cloud service.hallgren
To reduce potential server load caused by search bots.
2014-08-22Command line flag -s/-q now silences all warningshallgren
These flags now do what the say.
2014-08-20Add lifted directory operations in GF.System.Directory to eliminate the need ↵hallgren
for liftIO in various places
2014-08-20GF.CompileOne: refactoring to reduce code duplication and improve readabilityhallgren
I prefer small functions with descriptive names over large monilithic chunks of code, so I grouped the compiler passes called from compileSourceModule into funcitons named frontend, middle and backend. This also makes decisions about which passes to run clearly visible up front. Also made some small changes in GF.Compile.
2014-08-19GF.Compile.ReadFiles: a simpler & faster way to convert from Latin1 to UTF-8hallgren
2014-08-13Fix compliation error with GHC 7.4 caused by previous patchhallgren