aarne
22a3eb2f0a
work-around in Tree.expr2tree to make Paraphrase work
2010-12-14 14:36:05 +00:00
krasimir
8a0b3b8ba8
optimization in the parser for large lexicons. Now, the parser is slightly 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-12-14 08:46:22 +00:00
gdetrez
99c38bf070
In the haskell code, we make the binary representation of the doubles 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-10-19 18:34:29 +00:00
krasimir
92266359d3
fixed typos in the documentation for PGF.Parse
2010-12-08 10:32:18 +00:00
krasimir
a9218ff45c
simple refactoring in PGF.Macros and related
2010-12-06 14:19:51 +00:00
aarne
1b24f4490c
moved PGF.ToApi to GF.Compile.ToAPI
2010-12-07 18:05:13 +00:00
ra.monique
1e5a0c9d9e
no more IO in the syntax to API translator
2010-12-06 10:15:14 +00:00
aarne
86bc73cb03
vt -api with conversion to resource API names
2010-12-06 09:53:04 +00:00
ra.monique
faaddfe54b
added syntax to api translation module
2010-12-05 19:51:19 +00:00
krasimir
159b68f946
command ai in the shell now shows the probability of the tree
2010-11-24 12:51:54 +00:00
krasimir
fe1205059b
operations in the abstract syntax
2010-11-12 19:37:19 +00:00
ramona.enache
cd69929b4d
added giza Alignments with command ga and merged the rendering algorithm for graphviz and giza alignments
2010-10-31 13:39:01 +00:00
krasimir
9802d534c0
when faced with hard unification problem the type checker should just postpone the decision instead of failing immediately. added test case as well
2010-10-25 15:47:33 +00:00
krasimir
75e8cba592
when we print the bracketed string it is useful to print the attached metavariables as well
2010-10-25 12:21:12 +00:00
krasimir
8c751d404f
change the TcM monad to continuation passing style. The old monad caused stack overflow for large search spaces
2010-10-21 15:01:52 +00:00
krasimir
09dde495ce
support for proof search with high-order functions
2010-10-21 12:47:26 +00:00
krasimir
43cbc6693d
bugfix in the term generation
2010-10-20 13:36:39 +00:00
krasimir
6e23da41a2
fixed typo which broke the parsing with -openclass
2010-10-20 09:04:48 +00:00
krasimir
5acec7be21
in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict
2010-10-19 13:04:41 +00:00
krasimir
51452d4ef0
added explicit depth parameter to the parsing API and the corresponding command in the shell
2010-10-18 16:51:25 +00:00
krasimir
afce46b386
typo in PGF.TypeCheck which spoiled the previous patch
2010-10-18 16:50:55 +00:00
krasimir
7fb5fddbb8
now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser
2010-10-18 15:55:14 +00:00
krasimir
9fdc7134e8
now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees
2010-10-14 14:28:40 +00:00
krasimir
cc2232e289
bugfix in PGF.VisualizeTree for handling trees with implicit arguments
2010-10-13 13:32:48 +00:00
krasimir
f4603cf9d4
fix PGF.Generate.restart. The restart should be done only if there are some solutions found
2010-10-13 12:38:51 +00:00
krasimir
95733f0b1b
the exhaustive/random generator now knows how to handle computable functions in the types
2010-10-11 17:18:28 +00:00
krasimir
e7f6239bc6
now the generation from template with meta-variables respects the dependent types
2010-10-11 09:59:57 +00:00
krasimir
7d9bbea985
backtracking for random generation is not enough. we must restart the search after each solution
2010-10-02 13:34:58 +00:00
krasimir
be9ad26aea
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
krasimir
4e715c3952
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
2010-09-22 15:49:16 +00:00
krasimir
bc92927692
cleanup and export the Probabilistic API from PGF
2010-09-22 09:06:19 +00:00
krasimir
efbc9e9d6d
bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be supported in GF
2010-09-12 12:26:38 +00:00
krasimir
b0e78f33bc
PGF.Expr.normalForm does variable renaming
2010-08-30 07:37:12 +00:00
krasimir
9aa7c88c5a
native representation for HOAS in PMCFG and incremental type checking of the parse forest
2010-08-09 10:10:08 +00:00
krasimir
b20821dfc3
more advanced complete function in the PGFService
2010-08-24 15:58:22 +00:00
krasimir
71ea541765
two new functions in the PGF API: mkAbs, unAbs
2010-07-31 16:40:16 +00:00
krasimir
b227c8a586
now the meta id of the meta variables is accessible via the PGF API
2010-07-31 12:52:20 +00:00
krasimir
ebe5b87738
added function unType in PGF
2010-07-31 12:47:10 +00:00
krasimir
df555d54fb
fix the algorithm for items cutting in the partial parser
2010-07-15 14:01:51 +00:00
krasimir
ef68e209c2
fix the loopchecking in PGF.Forest.bracketedTokn
2010-07-13 12:04:06 +00:00
krasimir
5ea08bd2e8
bugfix in the decoding of literals in PGF.Binary
2010-07-13 08:24:03 +00:00
krasimir
8d63bf8d79
report type errors in the shell from command "p"
2010-07-07 12:23:21 +00:00
krasimir
21c14b1305
simplify the monad TcM
2010-07-07 07:19:56 +00:00
krasimir
e92151caf8
redesign the open-literals API
2010-07-01 08:51:59 +00:00
krasimir
97a9ddb4a7
rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)
2010-06-30 07:40:22 +00:00
krasimir
4fab73d5e7
in PGF.Printer special output format for SymLit
2010-06-29 09:05:07 +00:00
krasimir
43736135ca
introduce the type synonym Token=String in the PGF API
2010-06-29 09:00:41 +00:00
krasimir
237b30d6c4
preliminary version of API for Open Literals
2010-06-22 12:31:04 +00:00
krasimir
2069d9c9eb
Yay!! Direct generation of PMCFG from GF grammar
2010-06-18 12:55:58 +00:00
krasimir
d7d893d6b3
the automatically generated printnames were just junks. Now we store printnames only if they are explicitly specified.
2010-06-18 10:19:05 +00:00
