1
0
forked from GitHub/gf-core
Commit Graph

2057 Commits

Author SHA1 Message Date
krasimir
46c04f4c91 rule for pretty printing implicit arguments 2010-02-22 20:09:28 +00:00
krasimir
e876fad3fa add pretty printing rule for implicit patterns 2010-02-22 20:02:53 +00:00
krasimir
5d2b204246 refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store 2010-02-22 15:50:41 +00:00
krasimir
f3c6acc6dc bugfix in PGF.TypeCheck 2010-02-20 18:48:06 +00:00
krasimir
3aa7aa84bb fix the Haskell code generation 2010-02-17 13:09:23 +00:00
krasimir
e54ac49769 fix in PGF.Printer 2010-02-17 10:31:10 +00:00
krasimir
d91ffecfa4 -output-format=pgf_pretty now prints the flags as well 2010-02-17 10:20:49 +00:00
krasimir
e1ac90f543 fix the PGF printer for abstract 2010-02-16 21:47:58 +00:00
krasimir
899ed163a1 no need to keep the list of constructors per category in .gfo 2010-02-16 09:34:02 +00:00
krasimir
8c4fd9de9b allow negative integers in the grammar syntax 2010-02-08 12:59:22 +00:00
aarne
f3f661b525 generalized tour to a variable language by the script MkTour 2010-02-08 10:52:08 +00:00
krasimir
1c2a240b2c command cc now works even without loaded grammar. useful for testing closed expressions 2010-02-07 19:23:26 +00:00
krasimir
625c8e0e03 in verbose mode print the rule names when compiling PMCFG 2010-02-06 18:24:15 +00:00
krasimir
c2259adf5d bugfix in GrammarToPGF related to the compilation of def rules 2010-02-05 22:16:44 +00:00
aarne
745bee5d88 command eh ; lib/doc/tour started 2010-02-03 20:55:54 +00:00
krasimir
e33447aadd fix the tabular printing when there is a V constructor 2010-02-03 17:33:55 +00:00
aarne
101ba3ec5e gr for several metas fixed ; commented out one alternative in SammieGer to make it compile 2010-02-02 07:12:52 +00:00
aarne
3dd8fb8dec commands mq and tq can take a tree with metas to guide generation 2010-02-01 09:56:58 +00:00
aarne
ab1d4deccf command l -list ; fixed mq to work with the new tabularLinearizes 2010-01-31 16:05:23 +00:00
krasimir
4485e97181 refactor GF.Infra.Modules for better error messages 2010-01-31 15:54:25 +00:00
krasimir
c93e406997 add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation and PGF.Expr.Patt 2010-01-31 14:45:44 +00:00
aarne
5507133638 gt and gr can start from a tree with metavariables, just filling them 2010-01-30 18:01:18 +00:00
krasimir
3926ea1a05 code cleanup in PGF.TypeCheck 2010-01-30 10:10:51 +00:00
krasimir
9e547710f5 bugfix in the PGF typechecker and more test cases 2010-01-29 21:10:14 +00:00
aarne
53a081bf0b example_based returns the list of all unknown words 2010-01-28 16:27:28 +00:00
aarne
8f0df0442a in example-based grammar conversion, warnings about unknown words 2010-01-28 10:06:16 +00:00
aarne
47c7b09884 command eb for example-based grammar conversion; see 'help eb' and the example in examples/animals/QuestionsI.gfe 2010-01-27 17:51:15 +00:00
krasimir
3685595ece cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification 2010-01-27 09:39:14 +00:00
aarne
a5a1d2bbe0 bug fixes in biased generation ; example probs file in lib/src 2010-01-26 21:49:00 +00:00
aarne
a463443cf5 probability ranking (rt) and gr -probs=FILE 2010-01-26 21:08:04 +00:00
aarne
9226dc6052 added probabilities to trees and random gen; not yet in shell 2010-01-26 15:53:49 +00:00
krasimir
38b02bb64d fix the PGF generation when it is used from the shell 2010-01-26 14:15:37 +00:00
krasimir
a039808141 PGF is now real synchronous PMCFG 2010-01-17 21:35:36 +00:00
krasimir
362f333ebd now the linearization is completely based on PMCFG 2010-01-17 17:05:21 +00:00
krasimir
61867b2b72 prettier parameter names in PGF 2010-01-17 00:41:46 +00:00
krasimir
190cd6930b small code cleanup in GeneratePMCFG.hs 2010-01-16 22:10:45 +00:00
krasimir
e5efe28c74 move the definitions of _B and _V to PGF.Macros 2010-01-12 14:36:41 +00:00
krasimir
11218cdbca store the label names in PMCFG 2010-01-05 08:35:33 +00:00
krasimir
f841b1ada5 printnames are now kept as String instead of Term in PGF 2010-01-05 07:05:41 +00:00
krasimir
e0dda5b65a allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax parser in PGF 2010-01-15 21:23:37 +00:00
krasimir
a04cbcfb63 now the abstract syntax in PGF allows the same syntax for integers, floats and strings as in Haskell. This includes negative integers and exponents in the floats 2010-01-15 21:13:46 +00:00
krasimir
2b6eaf6f11 inplace editing/parsing in the syntax editor 2010-01-07 10:38:43 +00:00
krasimir
de615a3392 better tokenizer in the JavaScript runtime 2010-01-07 10:36:16 +00:00
krasimir
0075e4bf60 some dead code is removed in the JavaScript interpreter 2010-01-04 13:47:58 +00:00
krasimir
c8fbc24906 literal categories in the JavaScript interpreter 2010-01-04 13:44:21 +00:00
krasimir
83ded542e9 fix the editor grammar 2010-01-04 12:36:49 +00:00
krasimir
838c4f9683 in gflib.js declare all variables with 'var' because otherwise they are global by default 2010-01-04 12:26:11 +00:00
krasimir
c891123026 in the javascript version of extractTrees filter out the duplicated parse trees 2010-01-04 12:20:53 +00:00
krasimir
dc2bf98294 bugfix in the javascript parser 2010-01-04 11:16:17 +00:00
aarne
ab0eaa7b62 morpho analysis with -missing flag, shows words outside lexicon; also invoked if parsing fails; also added pg -words to show the list of words 2009-12-31 11:02:26 +00:00