bjorn
|
67fabb0e0d
|
In shell "p" command, only try languages that have a parser.
|
2008-10-16 11:33:09 +00:00 |
|
bjorn
|
1f724b36bb
|
build pgf files in src/server with erasing parsing
|
2008-10-16 11:27:12 +00:00 |
|
bjorn
|
fb3fdcab3d
|
Allow giving .gfo files as gfc command-line arguments.
|
2008-10-16 10:33:23 +00:00 |
|
bjorn
|
d698a006cc
|
Removed on-demand parser generation from the PGF interpreter.
|
2008-10-16 10:18:54 +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
|
e75ccc2542
|
A bit more verbosity when combining PGF files. Use putPointE when writing output files.
|
2008-10-16 10:12:57 +00:00 |
|
bjorn
|
21e3858442
|
Honor --erasing flag from command-line also when compiling existing .gfo to PGF.
|
2008-10-16 08:27:43 +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
|
063b82cf6c
|
rename some variable names
|
2008-10-15 09:43:15 +00:00 |
|
bjorn
|
f898c7543d
|
Copy command-line options to module flags when compiling to .gfo.
|
2008-10-15 14:24:23 +00:00 |
|
bjorn
|
58381a95a4
|
Merge ModuleOptions and Options.
|
2008-10-15 11:55:18 +00:00 |
|
bjorn
|
50ed99e9b1
|
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
|
cdff4db5c4
|
rename emptyFRulesEnv to emptyGrammarEnv
|
2008-10-15 09:26:01 +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
|
e94f1cf2c7
|
remove trace in the PMCFG compilation
|
2008-10-14 09:40:55 +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 |
|
bjorn
|
7a5d3da347
|
Added option to treat some categories as lexical when generating Haskell data types.
|
2008-10-10 11:55:12 +00:00 |
|
aarne
|
e56e6483f6
|
simplified 1.5 by removing mathematical/
|
2008-10-06 12:49:13 +00:00 |
|
aarne
|
f376576af0
|
added a command for tree operations and started a module for defining them
|
2008-10-05 19:49:26 +00:00 |
|
aarne
|
673bc27755
|
adapted old AbsCompute for use with source GF terms
|
2008-10-05 18:01:42 +00:00 |
|
aarne
|
1f8c999f1b
|
prevent pgf from being empty when there are no concrete syntaxes
|
2008-10-05 15:44:16 +00:00 |
|
aarne
|
be9ff0cbca
|
forced checking def definitions; accept pgf with no concretes
|
2008-10-05 15:21:08 +00:00 |
|
aarne
|
56c2c0e067
|
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
|
4b707dbf01
|
return error on undefined opers in instance and resource
|
2008-10-03 16:16:45 +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
|
4b41039a5d
|
Added | syntax for variants.
|
2008-10-03 07:35:26 +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 |
|
bjorn
|
f362f6ad01
|
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
|
2fc5c7f579
|
Added src/GF/Source/Makefile for regenerating the GF source parser from GF.cf.
|
2008-10-02 13:42:24 +00:00 |
|
bjorn
|
c21d0d10b8
|
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
|
7c30f07f75
|
Fail more gracefully on unknown file name extensions.
|
2008-10-02 12:32:03 +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
|
cec77015ad
|
Use parantheses for precedence in pgf-pretty lincats.
|
2008-09-30 12:02:58 +00:00 |
|
bjorn
|
14373feb3a
|
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
|
ed7d52843b
|
Fixed CFG start cats for categories with more than one constituent.
|
2008-09-30 10:53:36 +00:00 |
|