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
|
be75baa4bf
|
rename some variable names
|
2008-10-15 09:43:15 +00:00 |
|
bjorn
|
7676ab8e00
|
Copy command-line options to module flags when compiling to .gfo.
|
2008-10-15 14:24:23 +00:00 |
|
bjorn
|
849642e9dd
|
Merge ModuleOptions and Options.
|
2008-10-15 11:55:18 +00:00 |
|
bjorn
|
1ecb4f63e9
|
Added OPTIONS class to make options handling somewhat nicer. Next, I will merge Flags and ModuleFlags.
|
2008-10-15 11:38:34 +00:00 |
|
krasimir
|
f438fbb294
|
rename emptyFRulesEnv to emptyGrammarEnv
|
2008-10-15 09:26:01 +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
|
3fe0cccaf7
|
remove trace in the PMCFG compilation
|
2008-10-14 09:40:55 +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 |
|
bjorn
|
88798b2a23
|
Added option to treat some categories as lexical when generating Haskell data types.
|
2008-10-10 11:55:12 +00:00 |
|
aarne
|
e765b97fc4
|
simplified 1.5 by removing mathematical/
|
2008-10-06 12:49:13 +00:00 |
|
aarne
|
394050d9f7
|
added a command for tree operations and started a module for defining them
|
2008-10-05 19:49:26 +00:00 |
|
aarne
|
e88c7a28a7
|
adapted old AbsCompute for use with source GF terms
|
2008-10-05 18:01:42 +00:00 |
|
aarne
|
e20969ab5d
|
prevent pgf from being empty when there are no concrete syntaxes
|
2008-10-05 15:44:16 +00:00 |
|
aarne
|
21aa3cfa17
|
forced checking def definitions; accept pgf with no concretes
|
2008-10-05 15:21:08 +00:00 |
|
aarne
|
27de3c0e7b
|
print full types instead of lock field heuristics in overload resolution if the heuristic is misleading
|
2008-10-03 18:18:21 +00:00 |
|
aarne
|
4c08128503
|
return error on undefined opers in instance and resource
|
2008-10-03 16:16:45 +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
|
1e8699d159
|
Added | syntax for variants.
|
2008-10-03 07:35:26 +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 |
|
bjorn
|
fa69bd8ab3
|
Regenerate source GF parser from GF.cf. Now, when GF/Source/Makefile is used, no hand-hacking is needed.
|
2008-10-02 14:11:41 +00:00 |
|
bjorn
|
9e501521b4
|
Added src/GF/Source/Makefile for regenerating the GF source parser from GF.cf.
|
2008-10-02 13:42:24 +00:00 |
|
bjorn
|
86a30ef992
|
Converted GF/Source/*.hs to Unix line endings, to be able to see what happens when I regenerated the files.
|
2008-10-02 13:23:54 +00:00 |
|
bjorn
|
8fb068df6a
|
Fail more gracefully on unknown file name extensions.
|
2008-10-02 12:32:03 +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
|
203430ae6d
|
Use parantheses for precedence in pgf-pretty lincats.
|
2008-09-30 12:02:58 +00:00 |
|
bjorn
|
446aa1b5db
|
Added --cfg option for specifying which CFG transformations to use. Added startcatonly CFG trasnformation. Removed output formats that are now easily done with --cfg: "regular", "nolr".
|
2008-09-30 11:52:11 +00:00 |
|
bjorn
|
794fbd4a41
|
Fixed CFG start cats for categories with more than one constituent.
|
2008-09-30 10:53:36 +00:00 |
|
bjorn
|
3ca6c605b0
|
Use filtering in regular printer.
|
2008-09-30 09:39:09 +00:00 |
|
bjorn
|
41c95825f3
|
SRG conversion: print CFG when a unknown cat is found in renameCats. Do filtering in ebnf printer.
|
2008-09-30 09:32:16 +00:00 |
|
bjorn
|
8716e48c21
|
pgf-pretty: remove single field record lincat hack. handle f "" (S []) correctly.
|
2008-09-30 09:31:31 +00:00 |
|
bjorn
|
664bebf5ce
|
Some pgf-pretty fixes, including note by Peter about W "apa" (S []).
|
2008-09-30 07:24:01 +00:00 |
|
peb
|
b5ae83f899
|
Changes to the prolog output format
|
2008-09-25 07:32:39 +00:00 |
|
bjorn
|
ba321be3ff
|
Added pgf-pretty output-format
|
2008-09-26 15:21:32 +00:00 |
|
bjorn
|
0f4e8468be
|
Added isLiteralCat function to PGF.Macros.
|
2008-09-26 15:04:13 +00:00 |
|
bjorn
|
804232aebc
|
Added 'complete' function to the PGF API. This is a higher-level API to the completion functionality.
|
2008-09-26 13:17:21 +00:00 |
|