summaryrefslogtreecommitdiff
path: root/src/runtime/haskell
AgeCommit message (Collapse)Author
2012-11-22PGFService.hs: fix type error caused by change to PGF.graphvizParseTreehallgren
Note that some of the graphviz functions have backwards incompatible changes that might also affect other clients of the PGF run-time library. Also added graphvizDefaults and export it together with GraphvizOptions from the PGF run-time library.
2012-11-22better visualization of parse treespeter.ljunglof
2012-09-18the Haskell runtime now exports 'functionsByCat' which returns the list of ↵kr.angelov
all functions for a given category
2012-08-30another fix for teyjuskr.angelov
2012-08-30the loading of PGF files was broken by the Teyjus patch. Now this is fixedkr.angelov
2012-08-29Use nub' instead of nub in some places, remove some unused nub importspeter.ljunglof
2012-08-29Added an O(n log n) version of nubpeter.ljunglof
The new nub is called nub', and it replaces the old sortNub which was not lazy and did not retain the order between the elements.
2012-08-29A basic infrastructure for generating Teyjus bytecode from the GF abstract ↵kr.angelov
syntax
2012-06-10command option ma -known to drop unknown wordsaarne
2012-03-26Fix List.foldl / Map.foldl ambiguositySergei Trofimovich
Fixes the following error: src/runtime/haskell/PGF/Expr.hs:111:14: Ambiguous occurrence `foldl' It could refer to either `List.foldl', imported from `Data.List' at src/runtime/haskell/PGF/Expr.hs:27:1-24 (and originally defined in `GHC.List') or `Map.foldl', imported from `Data.Map' at src/runtime/haskell/PGF/Expr.hs:28:1-40
2012-03-18PGF run-time library: function names in BracketedString (experimental)hallgren
+ Make room for function names in the BracketedString data structure. + Fill in function names when linearizing an abstract syntax tree to a BracketedString. + Fill in wildCId when it is not obvious what the function is. + Function bracketedLinearize: for compatibility with the other linearization functions, return Leaf "" instead of error "cannot linearize". + Export flattenBracketedString from module PGF. + PGFServce: make function names available in the JSON representation of BracketedString.
2011-12-19the parser now use nub instead of nubsort which means that the abstract ↵kr.angelov
syntax trees will be returned lazily
2011-12-08Now graphvizAbstractTree suppress the visualization of implicit arguments.kr.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-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-10-25Preparations for release of GF 3.3hallgren
+ Changing version numbers and dates here and there. + Simplify build-binary-dist.sh since pgf-http need not be built anymore. + Use--gf-lib-path to make the sample grammars for minibar compile even if GF is not installed.
2011-10-20PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happyhallgren
Also remove oddly named function forExample (topological sorting) from export list.
2011-09-21fix in the proof search. when we start the generation from a template, we ↵kr.angelov
must start the refinement from the expression that the typecheker generated
2011-09-15added topological sort module to PGF - to be used in example based grammar ↵ra.monique
writing
2011-09-14quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisitedaarne
2011-08-30bugfixes in the typechecker and the tree generatorkr.angelov
2011-08-30bugfix: allow higher-order variables in the linearizationkr.angelov
2011-08-29skip spaces before closing parenthesis in PGF.Expr.pFactoraarne
2011-08-28import command now gives priority to new abstract syntax, and discards the ↵aarne
old concretes if they are for the old abstract; the new priority is implemented in PGF.Data.unionPGF
2011-04-06avoid warning from ghc-7.0hallgren
Warning: -fglasgow-exts is deprecated: Use individual extensions instead
2011-04-06avoid warning from ghc-7.0hallgren
Warning: -fglasgow-exts is deprecated: Use individual extensions instead
2011-03-17Adding a missing file for the tokenizer...gdetrez
2011-02-10Adding a basic lexicon-based tokenizer and the asociated command in gf shellgdetrez
2011-02-06a simple clitic analysis command 'ca'aarne
2011-01-08fix the computation of abstract expressions in the presence of implicit ↵krasimir
arguments
2011-01-08bugfix in the handling of implicit arguments in the typecheckerkrasimir
2010-12-17bugfix: setProbabilities should be more robust when there are missing ↵krasimir
probabilities for some functions or categories
2010-12-14now every parse state keeps reference only to the concrete and the abstract ↵krasimir
syntaxes but not to the whole PGF
2010-12-14work-around in Tree.expr2tree to make Paraphrase workaarne
2010-12-14optimization in the parser for large lexicons. Now, the parser is slightly ↵krasimir
slower for grammars with a small lexicon but 3-4 times faster for the English Resource Grammar used in combination with Oxford Advanced Learners Dictionary
2010-10-19In the haskell code, we make the binary representation of the doubles ↵gdetrez
compliant with IEEE 754. The default binary representation in haskell's Data.Binary package is homemade and quite complicated. Making it compliant with IEEE 754 will make it easyer for the java runtimes (and probably others) to load the PGF.
2010-12-08fixed typos in the documentation for PGF.Parsekrasimir
2010-12-06simple refactoring in PGF.Macros and relatedkrasimir
2010-12-07moved PGF.ToApi to GF.Compile.ToAPIaarne
2010-12-06no more IO in the syntax to API translatorra.monique
2010-12-06vt -api with conversion to resource API namesaarne
2010-12-05added syntax to api translation modulera.monique
2010-11-24command ai in the shell now shows the probability of the treekrasimir
2010-11-12operations in the abstract syntaxkrasimir
2010-10-31added giza Alignments with command ga and merged the rendering algorithm for ↵ramona.enache
graphviz and giza alignments
2010-10-25when faced with hard unification problem the type checker should just ↵krasimir
postpone the decision instead of failing immediately. added test case as well
2010-10-25when we print the bracketed string it is useful to print the attached ↵krasimir
metavariables as well
2010-10-21change the TcM monad to continuation passing style. The old monad caused ↵krasimir
stack overflow for large search spaces
2010-10-21support for proof search with high-order functionskrasimir
2010-10-20bugfix in the term generationkrasimir