summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2016-05-10fix the offset for oracles in Haskellkrasimir
2016-05-10an API for oracles in the GF parserkrasimir
2016-04-29a prototype for complex queries over expressions in libsgkrasimir
2016-04-29added methods for accessing the last element of a buffer in libgukrasimir
2016-04-28a version of sqlite3.c which is prunned to one third of the original size ↵krasimir
and now it contains only the database storage engine withough the SQL compiler and interpreter
2016-04-25Fix a problem building the Java binding when creating binary packageshallgren
Pass -I and -L flags to gcc so that the C run-time system can be found. Also added a line in src/runtime/java/Makefile to install jpgf.jar.
2016-04-14more fixes for GNU Lightning for ARMkrasimir
2016-04-14fix in evaluator.ckrasimir
2016-04-14added PGF.inferExpr and Type.toString in the Java bindingkrasimir
2016-04-14bugfix in GNU Lightning for ARMkrasimir
2016-04-13bugfix in the JIT compiler for 64bit machineskrasimir
2016-04-13debian/control: dependency change from libtool to libtool-binhallgren
It seems that nowadays the libtool executable is not included in the package named libtool, instead it is in the libtool-bin package.
2016-04-13locale independent printing for doubles when they are part of an abstract ↵krasimir
expression
2016-04-13fix for reading PgfExpr with a double literalkrasimir
2016-04-13Minibar: don't show dependency information in parse trees.hallgren
This was fixed by adding "&nodep=true" in the minibar when it requests a parse tree from the server. The reason dependency information got included in the first place was that all rendering options are on by default in command=parsetree requests in PGF service API.
2016-04-13added PGF.compute in the Java bindingkrasimir
2016-04-13added getFunctionsByCatkrasimir
2016-04-13added getCategories() and getFunctions() in the Java bindingkrasimir
2016-04-08fix in FoodsMkd.gfkrasimir
2016-04-12Changes to include the Java binding in binary distribution packageshallgren
This means that you now need to have a Java SDK installed to build a Debian package. The bin/build-binary-dist.sh (which builds bintar packages and OS X installer packages) now skips the Python binding if python is not installed. Likewise it skips the Java binding if a Java SDK is not installed.
2016-04-12debian/rules: workaround for a problem on Ubuntu 15.10 and 16.04hallgren
dh_shlibdeps has a problem finding which package some of the Haskell libraries come from, even though dpkg-query -S has no problem finding them. But the gf executable is statically linked against the Haskell libraries, so it will work even if these shared libraries aren't installed. But there will be a problem if other shared libraries are missing (.e.g. libtinfo, libgmp), so we need a better solution than simply ignoring all dependency problems... See also http://stackoverflow.com/questions/11238134/dpkg-shlibdeps-error-no-dependency-information-found-for
2016-04-07GF.Command.Commands2: adapt gf -cshell to the changes in the previous patchhallgren
2016-04-07GF shell: fix a parsing problem with the cc commandhallgren
This patch fixes a problem introduced last year when the GF shell was refactored to allow more commands to be treated uniformly and be part of pipes. The cc command was one of those commands, but unfortunately this introduced a parsing problem, e.g. > cc "last" constant not found: last > cc "last"++"year" command not parsed: cc "last"++"year" This happened because the generic command line parser in GF.Command.{Abstract,Parse} assumes that all commands have an argument of type PGF.Expr. Commands that expect other types of arguments have to use PGF.showExpr combined with other conversion to the argument type they expect. The cc command excpets a GF.Grammar.Term, and unfortunately not all terms survice the roundtrip through PGF.Expr, in part because of an additional hack to allow strings to be roundtripped through PGF.Expr without adding superfluous double quotes. To solve the problem, this patch + makes room for arguments of type Term in the Argument type in GF.Command.Abstract. + makes a special case for the cc command in GF.Command.Parse, by calling the partial parser 'runPartial pTerm' recently added in GF.Grammar.Lexer and GF.Grammar.Parser. Care was taken so that that "|" and ";" can be used both inside terms and as separators between commands in the shell, e.g. things like the following now work: > cc ("a"|"b") | ps -lexcode variants { "a" ; "b" } + introduces a type CommandArgument that replaces [Expr] as the type of values passed between commands in pipes. It has room for values of type [Expr], [String] and Term, thus eliminating the need to roundtrip through the Expr type all the time. The hack to avoid adding superfluous quotes when strings are roundtripped through Expr has been left in place for now, but can probably be removed.
2016-04-07Lexer.x & Parser.y: add a partial parser for termshallgren
Lexer.x: Change the parser monad type P to allow the remaining input to be returned after a partial parse. Add function runPartial :: P t -> String -> Either (Posn, String) (String, t) Parser.y: Add a partial parser pTerm for nonterminal Exp1. Re-export runPartial.
2016-04-07fixed Foods grammar for Macedoniankrasimir
2016-04-06Lexer.x: fix cyclic Functor instancehallgren
It looks like I introduced this cyclic definition in August 2014, but since it isn't used, it hasn't been a problem...
2016-04-05src/tools: update GFDoc.hs and Htmls.hs for compatibility with current ↵hallgren
libraries and add gf-tools.cabal to compile them
2016-04-05Foods grammar for Macedonian. Probably not quite correctkrasimir
2016-04-03GFSE: add Latvian to the list of RGL languageshallgren
2016-03-30src/runtime/c/INSTALL: add automake to the list of needed packages on Linuxhallgren
The automake package contains aclocal, which is needed when running autoreconf -i. I never needed to install automake explicitly on Linux, presumably because it got installed anyway because of some other dependency, but apparently you can't take this for granted.
2016-03-22fix the handling of separators in BNFC which are not nonemptykrasimir
2016-03-22CFGtoPGF is now extended to support context-free grammars with primitive ↵krasimir
parameters
2016-03-21added missing module GF.Grammar.BNFCkrasimir
2016-03-21fix comment in GF.Grammar.CFGkrasimir
2016-03-21initial support for BNFC syntax in context-free grammars for GF. Not all ↵krasimir
features are supported yet. Based on contribution from Gleb Lobanov
2016-03-21bugfix: GF.Compile.CFGtoPGF now supports literal categorieskrasimir
2016-03-15more progress on the typecheckerkrasimir
2016-03-07current state of the experimental typecheckerkrasimir
2016-03-03add missing cases in vapply in the partial evaluatorkrasimir
2016-03-02fix in the typecheckerkrasimir
2016-03-02gf.cabal: Remove GF.Compile.Compute.ConcreteNew1hallgren
2016-03-02a better interface between the type checker and the partial evaluatorkrasimir
2016-03-02the experimental type checker in GF.Compile.TypeCheck.ConcreteNew is now ↵krasimir
rewriten to use the complete evaluator in GF.Compile.Compute.ConcreteNew. The old sketchy implementation in GF.Compile.Compute.ConcreteNew1 is now removed.
2016-02-23add forgotten file src/runtime/haskell/PGF/LexingAGreek.hsleiss
2016-02-23add lexer and unlexer for Ancient Greek accent normalizationleiss
2016-02-17Now we even test in two different places for the JNI headers. Once for Linux ↵krasimir
and once for Mac OS. This is still not ideal since different Linux distributions might use different locations.
2016-02-17typo in the new Makefilekrasimir
2016-02-17a version of the Makefile for the Java binding which should work on Linux ↵krasimir
and Mac OS
2016-02-09some progress on complex queries in libsgkrasimir
2016-02-08demos/index.html: a couple of fixeshallgren