krasimir
a977b48b1e
even more compact binary representation. saldo < 19MB
2008-10-28 16:54:46 +00:00
krasimir
44391a9125
remove some traces that I left by incident
2008-10-28 16:31:30 +00:00
krasimir
a35919542f
remove some redundant imports of GF.Text.UTF8
2008-10-28 15:47:04 +00:00
krasimir
5e23cece4b
forgot to add PGF.Binary
2008-10-28 15:40:10 +00:00
krasimir
e44448bad0
binary serialization for PGF
2008-10-28 13:57:10 +00:00
krasimir
8a4cb6ba1d
define Read and Show instances for Expr and Tree
2008-10-28 12:22:34 +00:00
krasimir
c72ee23d85
efficient and nicer implementation for literal categories
2008-10-21 14:30:36 +00:00
krasimir
16dacfdd45
the literal categories were slowing down the parser 3 times. this is quick and dirty workaround until I find something cleverer.
2008-10-20 15:38:59 +00:00
bjorn
aed72e7653
Added PGF.Macros.mapConcretes
2008-10-20 14:51:42 +00:00
bjorn
335a8d6977
Added Read and Show instances for CId. Also added readCId :: String -> Maybe CId, and use that for readLanguage.
2008-10-20 11:59:31 +00:00
bjorn
0c442d9ac9
Added Read and Show instances for Type. This required moving some code around.
2008-10-20 11:36:17 +00:00
bjorn
29ca3b692b
Replace Category with Type in the PGF API. Added readLanguage and showLanguage.
2008-10-20 11:35:05 +00:00
krasimir
1ddb738459
preparation for dep. types. The -cat option can take any type instead of just a category. The PGF API is generalized as well.
2008-10-20 08:42:39 +00:00
krasimir
ef0ff58516
add parser and pretty printer for types
2008-10-20 07:52:14 +00:00
krasimir
d27b017c7f
move the literal category names to PGF.Macros
2008-10-19 14:21:58 +00:00
krasimir
286be2e4d9
move PGF.Quiz to GF.Quiz. It is not part of the PGF API
2008-10-19 16:38:56 +00:00
bjorn
8d832b5b9a
Moved parser building in the PGF interpreter to PGF.hs from PGF/Raw/Convert.hs, in preparation for doing something more clever about it (e.g. looking at the parser flag).
2008-10-16 10:13:25 +00:00
bjorn
23a139ec07
code tweak: use Map.findWithDefault in PGF.Macros.lookMap
2008-10-16 08:22:04 +00:00
aarne
65bafe2a3b
restored the possibility to compile .cf files to gf
2008-10-15 15:08:38 +00:00
krasimir
bb6623f6e7
high-order syntax in PMCFG
2008-10-15 14:58:00 +00:00
krasimir
8386c8b939
threat category _Var as a literal category
2008-10-15 08:38:34 +00:00
krasimir
b01fcc8c3c
generate metavariables in the tree extraction for PMCFG
2008-10-15 08:02:12 +00:00
krasimir
ebef7ecb7b
store the total number of PMCFG categories in the PGF file
2008-10-15 07:47:57 +00:00
krasimir
50fc82d4db
literal categories in the incremental parser
2008-10-14 15:29:50 +00:00
aarne
b6666624a0
rudimentary abstract syntax type checker and solver in PGF
2008-10-14 14:34:08 +00:00
krasimir
94bc0c9032
pass the full Tokn type to the add function not just the KS string
2008-10-14 13:29:45 +00:00
aarne
df08e52d5c
paraphrase works a little better now ; added examples/paraphrase for testing
2008-10-14 11:19:30 +00:00
krasimir
1fc909c101
the new optimized incremental parser and the common subexpression elimination optimization in PMCFG
2008-10-14 08:00:50 +00:00
aarne
8abf7f5c8a
added a paraphrase method applying def's in both directions, in subtrees, and step by step; doesn't work properly yet
2008-10-13 16:41:21 +00:00
aarne
a643cc522d
added a note on refreshing variables in AbsCompute
2008-10-10 16:01:07 +00:00
aarne
8555c65c36
a first version of PGF.AbsCompute
2008-10-10 15:53:17 +00:00
aarne
e56e6483f6
simplified 1.5 by removing mathematical/
2008-10-06 12:49:13 +00:00
bjorn
338d4132c4
Merge mine and aarne's variants linearization changes.
2008-10-03 09:53:25 +00:00
bjorn
3e3ba03724
Don't build FV terms if there is exactly one variant.
2008-10-03 08:18:24 +00:00
aarne
feecb1c368
made variants checking symmetric for Ints m == Ints n in PGF.Check
2008-10-03 08:02:54 +00:00
aarne
0b5a7abb2c
fixed the over-expansion of record variants in PGF.Linearize
2008-10-03 07:57:40 +00:00
bjorn
ae13f4f2c9
Fixed variants semantics in PGF linearization to expand make variants of argument lists, to get things like Auto/Wagen gender right.
2008-10-03 07:53:37 +00:00
bjorn
6d4d6bce68
Handle concatenations with variants in PGF.ShowLinearize, fixes http://trac.haskell.org/gf/ticket/23
2008-10-03 07:16:39 +00:00
aarne
d53f8e0644
added mode 'gf --run' for running silently a script ; made quizzes handle character encoding correctly ; for this end, collected coding functions in GF.Text.Coding
2008-10-01 16:01:51 +00:00
bjorn
0e869a3574
Added isLiteralCat function to PGF.Macros.
2008-09-26 15:04:13 +00:00
krasimir
9827f433fb
build parsers on demand if they aren't in the PGF file
2008-09-16 15:35:15 +00:00
krasimir
a0fb2a0b0b
fix the segmentation fault with Swedish
2008-09-16 15:11:06 +00:00
bjorn
6d0cdf3cda
Fix order in the cncnames list in unionPGF. It was made in reverse.
2008-08-19 07:40:45 +00:00
bjorn
4925580877
When producing PGF, do UTF-8 encoding of the whole file after pretty printing instead of walking through the PGF structure before pretty-printing.
...
The old code was brittle, and only converted strings in the lins and opers, not in printnames and parsers. The old code also double encoded some grammars when using gfc to combine PGF files.
2008-08-18 12:34:56 +00:00
aarne
c5c6d13546
changed names of resource-1.3; added a note on homepage on release
2008-06-25 16:54:35 +00:00
