aarne
|
3e293ae3e0
|
bracketing with tree node reference: l -bracket
|
2008-12-13 20:19:37 +00:00 |
|
aarne
|
db65b6bce1
|
added and editor function allMetas showing all meta positions and their types
|
2008-12-10 14:20:52 +00:00 |
|
aarne
|
a554ced10d
|
documentation in the Editor files
|
2008-12-10 13:22:54 +00:00 |
|
aarne
|
efdbf69b93
|
fix in Editor
|
2008-12-10 12:13:01 +00:00 |
|
aarne
|
5974263e95
|
parsing in the toy editor
|
2008-12-09 23:05:32 +00:00 |
|
aarne
|
d925bb35c1
|
Editor with some commands, using PGF API, with demo shell in exper/EditShell; still buggy
|
2008-12-09 14:52:12 +00:00 |
|
aarne
|
a6097ccee6
|
started PGF editor
|
2008-12-08 17:15:36 +00:00 |
|
krasimir
|
c3c834c79e
|
even more compact binary representation. saldo < 19MB
|
2008-10-28 16:54:46 +00:00 |
|
krasimir
|
adcf1a8c34
|
remove some traces that I left by incident
|
2008-10-28 16:31:30 +00:00 |
|
krasimir
|
03d86ba05c
|
remove some redundant imports of GF.Text.UTF8
|
2008-10-28 15:47:04 +00:00 |
|
krasimir
|
e6bb0a8eda
|
forgot to add PGF.Binary
|
2008-10-28 15:40:10 +00:00 |
|
krasimir
|
ebd98056ce
|
binary serialization for PGF
|
2008-10-28 13:57:10 +00:00 |
|
krasimir
|
f8331e5b4b
|
define Read and Show instances for Expr and Tree
|
2008-10-28 12:22:34 +00:00 |
|
krasimir
|
0606de738e
|
efficient and nicer implementation for literal categories
|
2008-10-21 14:30:36 +00:00 |
|
krasimir
|
41fb72ca6f
|
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
|
6b8c9dd4c9
|
Added PGF.Macros.mapConcretes
|
2008-10-20 14:51:42 +00:00 |
|
bjorn
|
d41616dd6a
|
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
|
2174690c5e
|
Added Read and Show instances for Type. This required moving some code around.
|
2008-10-20 11:36:17 +00:00 |
|
bjorn
|
a26290659d
|
Replace Category with Type in the PGF API. Added readLanguage and showLanguage.
|
2008-10-20 11:35:05 +00:00 |
|
krasimir
|
eb0fefec28
|
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
|
abe8da32fd
|
add parser and pretty printer for types
|
2008-10-20 07:52:14 +00:00 |
|
krasimir
|
418856d9bf
|
move the literal category names to PGF.Macros
|
2008-10-19 14:21:58 +00:00 |
|
krasimir
|
9837fb8fb1
|
move PGF.Quiz to GF.Quiz. It is not part of the PGF API
|
2008-10-19 16:38:56 +00:00 |
|
bjorn
|
dc3f283344
|
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
|
5422eb54d9
|
code tweak: use Map.findWithDefault in PGF.Macros.lookMap
|
2008-10-16 08:22:04 +00:00 |
|
aarne
|
856c31a64b
|
restored the possibility to compile .cf files to gf
|
2008-10-15 15:08:38 +00:00 |
|
krasimir
|
adc6566cd3
|
high-order syntax in PMCFG
|
2008-10-15 14:58:00 +00:00 |
|
krasimir
|
e36d70d483
|
threat category _Var as a literal category
|
2008-10-15 08:38:34 +00:00 |
|
krasimir
|
4fa3eb87cd
|
generate metavariables in the tree extraction for PMCFG
|
2008-10-15 08:02:12 +00:00 |
|
krasimir
|
5f33e0bda9
|
store the total number of PMCFG categories in the PGF file
|
2008-10-15 07:47:57 +00:00 |
|
krasimir
|
57ee52103d
|
literal categories in the incremental parser
|
2008-10-14 15:29:50 +00:00 |
|
aarne
|
e4dc63f665
|
rudimentary abstract syntax type checker and solver in PGF
|
2008-10-14 14:34:08 +00:00 |
|
krasimir
|
ec2d7e2299
|
pass the full Tokn type to the add function not just the KS string
|
2008-10-14 13:29:45 +00:00 |
|
aarne
|
a11f1b1437
|
paraphrase works a little better now ; added examples/paraphrase for testing
|
2008-10-14 11:19:30 +00:00 |
|
krasimir
|
4573d10442
|
the new optimized incremental parser and the common subexpression elimination optimization in PMCFG
|
2008-10-14 08:00:50 +00:00 |
|
aarne
|
54f8fd9ec1
|
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
|
fbc72e3230
|
added a note on refreshing variables in AbsCompute
|
2008-10-10 16:01:07 +00:00 |
|
aarne
|
4e795bab9b
|
a first version of PGF.AbsCompute
|
2008-10-10 15:53:17 +00:00 |
|
aarne
|
e765b97fc4
|
simplified 1.5 by removing mathematical/
|
2008-10-06 12:49:13 +00:00 |
|
bjorn
|
5bc73e10bc
|
Merge mine and aarne's variants linearization changes.
|
2008-10-03 09:53:25 +00:00 |
|
bjorn
|
59cb392bda
|
Don't build FV terms if there is exactly one variant.
|
2008-10-03 08:18:24 +00:00 |
|
aarne
|
8290be0eb2
|
made variants checking symmetric for Ints m == Ints n in PGF.Check
|
2008-10-03 08:02:54 +00:00 |
|
aarne
|
759ee4f926
|
fixed the over-expansion of record variants in PGF.Linearize
|
2008-10-03 07:57:40 +00:00 |
|
bjorn
|
07b3870699
|
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
|
b7fe4eacc9
|
Handle concatenations with variants in PGF.ShowLinearize, fixes http://trac.haskell.org/gf/ticket/23
|
2008-10-03 07:16:39 +00:00 |
|
aarne
|
429092ac6a
|
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
|
0f4e8468be
|
Added isLiteralCat function to PGF.Macros.
|
2008-09-26 15:04:13 +00:00 |
|
krasimir
|
a663eda269
|
build parsers on demand if they aren't in the PGF file
|
2008-09-16 15:35:15 +00:00 |
|
krasimir
|
647f7661c2
|
fix the segmentation fault with Swedish
|
2008-09-16 15:11:06 +00:00 |
|
bjorn
|
bc3281d5e7
|
Fix order in the cncnames list in unionPGF. It was made in reverse.
|
2008-08-19 07:40:45 +00:00 |
|