krasimir
|
7593e69214
|
added filtering for useless productions in PMCFG
|
2009-05-18 15:52:10 +00:00 |
|
krasimir
|
f4164303d0
|
added command ai which prints information about given identifier
|
2009-05-12 20:52:18 +00:00 |
|
krasimir
|
26ab90c652
|
upgrade to GHC 6.10.2
|
2009-04-30 05:13:55 +00:00 |
|
krasimir
|
829ba15752
|
proper pretty printing of tokens in PGF.PMCFG
|
2009-04-15 12:10:08 +00:00 |
|
krasimir
|
17055dc496
|
raise better error message when decode PGF file
|
2009-04-02 13:25:20 +00:00 |
|
krasimir
|
ff573ca0de
|
special cases for printing the build-in PMCFG categories
|
2009-03-09 18:08:54 +00:00 |
|
krasimir
|
8ec1a5643e
|
fixes in the pretty printer for PMCFG
|
2009-02-08 09:57:16 +00:00 |
|
krasimir
|
72fa768613
|
PMCFG pretty printer
|
2009-02-07 23:31:22 +00:00 |
|
krasimir
|
52c538bfd1
|
tabularLinearize should always generate label names
|
2009-02-02 09:56:02 +00:00 |
|
aarne
|
f207a4038e
|
metavariables made unique in type checking
|
2009-01-30 16:52:38 +00:00 |
|
aarne
|
4d970ae48c
|
fixed discontinuous constituents in word alignment
|
2008-12-16 15:20:03 +00:00 |
|
aarne
|
c75c7a38a0
|
datatype for bracketed texts, and improved word alignment
|
2008-12-16 13:56:23 +00:00 |
|
aarne
|
4fd7cb4976
|
position of arrows in alignment
|
2008-12-16 08:59:26 +00:00 |
|
aarne
|
9982b15b5b
|
better treatment of syncategorematic words in alignment
|
2008-12-15 15:45:36 +00:00 |
|
aarne
|
2bccc3e405
|
visualization of word alignment based on bracketing (command aw); does not work for syncategorematic words yet
|
2008-12-15 10:33:53 +00:00 |
|
aarne
|
10fbaa6dec
|
bracketing with tree node reference: l -bracket
|
2008-12-13 20:19:37 +00:00 |
|
aarne
|
c69cfe7a50
|
added and editor function allMetas showing all meta positions and their types
|
2008-12-10 14:20:52 +00:00 |
|
aarne
|
e0600ad248
|
documentation in the Editor files
|
2008-12-10 13:22:54 +00:00 |
|
aarne
|
c6a8477106
|
fix in Editor
|
2008-12-10 12:13:01 +00:00 |
|
aarne
|
f2271374ea
|
parsing in the toy editor
|
2008-12-09 23:05:32 +00:00 |
|
aarne
|
485ad4ff80
|
Editor with some commands, using PGF API, with demo shell in exper/EditShell; still buggy
|
2008-12-09 14:52:12 +00:00 |
|
aarne
|
dd691347f8
|
started PGF editor
|
2008-12-08 17:15:36 +00:00 |
|
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 |
|