krasimir
|
84736e5712
|
fixed typo in GeneratePMCFG.hs. fidFloat -> fidVar
|
2010-10-25 11:48:17 +00:00 |
|
krasimir
|
775e59dabe
|
added explicit depth parameter to the parsing API and the corresponding command in the shell
|
2010-10-18 16:51:25 +00:00 |
|
krasimir
|
cb8795c222
|
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
|
2010-10-02 13:03:57 +00:00 |
|
krasimir
|
fad0512c94
|
added missing case for GF.Compile.GeneratePMCFG.evalTerm
|
2010-08-30 07:54:53 +00:00 |
|
krasimir
|
b0e110cf4f
|
native representation for HOAS in PMCFG and incremental type checking of the parse forest
|
2010-08-09 10:10:08 +00:00 |
|
krasimir
|
95f1d40c56
|
report type errors in the shell from command "p"
|
2010-07-07 12:23:21 +00:00 |
|
krasimir
|
710b8f1bf7
|
the abstract syntax for Predef.gf is now hard-coded in AppPredefined.hs
|
2010-07-01 15:38:16 +00:00 |
|
krasimir
|
e0231cbf5b
|
reorganize the modules in GF.Compile.*
|
2010-07-01 14:19:32 +00:00 |
|
krasimir
|
5ae7be358d
|
redesign the open-literals API
|
2010-07-01 08:51:59 +00:00 |
|
krasimir
|
706b215fce
|
compilation of pattern matching using the algorithm of Lennart Augustsson. Not used yet
|
2010-06-30 16:00:47 +00:00 |
|
krasimir
|
eb0bd54e68
|
rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)
|
2010-06-30 07:40:22 +00:00 |
|
krasimir
|
a6b8c11905
|
fix the compilation of literal categories in GeneratePMCFG.hs
|
2010-06-22 11:29:20 +00:00 |
|
krasimir
|
7e9b1ebfa4
|
addFCoercion -> addCoercion in GeneratePMCFG
|
2010-06-20 08:53:25 +00:00 |
|
krasimir
|
9995a834ae
|
getFCats -> getFIds in GeneratePMCFG
|
2010-06-20 08:45:31 +00:00 |
|
krasimir
|
a77815e35a
|
removed debugging code in GeneratePMCFG.hs
|
2010-06-20 08:30:00 +00:00 |
|
krasimir
|
992a7ffb38
|
Yay!! Direct generation of PMCFG from GF grammar
|
2010-06-18 12:55:58 +00:00 |
|
krasimir
|
5dfc9bbc0b
|
the automatically generated printnames were just junks. Now we store printnames only if they are explicitly specified.
|
2010-06-18 10:19:05 +00:00 |
|
krasimir
|
d8b049fdf8
|
rename GF.Grammar.Predef.isPredefCat to isLiteralCat
|
2010-06-17 15:08:12 +00:00 |
|
krasimir
|
d6f32b3bcd
|
dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax
|
2010-06-09 11:32:59 +00:00 |
|
krasimir
|
31cd91e67e
|
fixed bug in the recompilation checker which caused the phrasebook to be recompiled each time
|
2010-06-08 18:57:50 +00:00 |
|
krasimir
|
002965336a
|
bugfix for flag -no-recomp
|
2010-06-08 15:40:47 +00:00 |
|
krasimir
|
c3f4c3eba7
|
refactoring in GF.Grammar.Grammar
|
2010-05-28 14:15:15 +00:00 |
|
krasimir
|
6eda1118fc
|
since now we don't do common subexpression elimination for PGF we could simplify the PMCFG generation
|
2010-05-26 09:37:32 +00:00 |
|
aarne
|
abfda7dd48
|
spacing of German numerals
|
2010-05-08 13:54:38 +00:00 |
|
krasimir
|
9e7b914c3c
|
for backward compatibility we have the old parse function again. the old functionality is exposed by parse_
|
2010-04-30 20:18:26 +00:00 |
|
krasimir
|
8460598801
|
first incarnation of the bracketed string API
|
2010-04-30 14:36:06 +00:00 |
|
krasimir
|
6313244eac
|
use the native unicode support from GHC 6.12
|
2010-04-19 09:38:36 +00:00 |
|
aarne
|
5dfda62ad1
|
fixed a deep bug in TypeCheck due to swap of arguments; print empty record as <> instead of {} to distinguish from empty record type
|
2010-03-31 22:05:12 +00:00 |
|
krasimir
|
9a1d0e8d11
|
bugfix in the lProlog generator
|
2010-03-24 20:54:20 +00:00 |
|
krasimir
|
14f19b9865
|
partial support for def-rules in the Lambda Prolog generation
|
2010-03-24 16:12:58 +00:00 |
|
krasimir
|
68482aa7e9
|
now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.
|
2010-03-24 11:11:55 +00:00 |
|
krasimir
|
76d155af0e
|
typo in CheckGrammar
|
2010-03-23 15:35:32 +00:00 |
|
krasimir
|
c80c403da2
|
use the new more accurate location information for some error messages
|
2010-03-23 15:24:48 +00:00 |
|
krasimir
|
bf74f50733
|
store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet
|
2010-03-22 21:15:29 +00:00 |
|
krasimir
|
0da54cdf64
|
produce optimized Lambda Prolog code
|
2010-03-22 08:56:42 +00:00 |
|
krasimir
|
fba592ecf8
|
added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
|
2010-03-20 07:26:53 +00:00 |
|
krasimir
|
973a0cacb7
|
pattern @ should be propagated to PGF
|
2010-03-18 20:21:57 +00:00 |
|
krasimir
|
f870c4d80f
|
syntax for inaccessible patterns in GF
|
2010-03-18 19:34:30 +00:00 |
|
krasimir
|
57c2a4dcd2
|
fix the Haskell code generation
|
2010-02-17 13:09:23 +00:00 |
|
krasimir
|
19b17dceb6
|
no need to keep the list of constructors per category in .gfo
|
2010-02-16 09:34:02 +00:00 |
|
krasimir
|
2544ea8c8a
|
in verbose mode print the rule names when compiling PMCFG
|
2010-02-06 18:24:15 +00:00 |
|
krasimir
|
168d459c49
|
bugfix in GrammarToPGF related to the compilation of def rules
|
2010-02-05 22:16:44 +00:00 |
|
krasimir
|
be6465a2eb
|
refactor GF.Infra.Modules for better error messages
|
2010-01-31 15:54:25 +00:00 |
|
krasimir
|
3b7e39fa4a
|
bugfix in the PGF typechecker and more test cases
|
2010-01-29 21:10:14 +00:00 |
|
aarne
|
d333c0564b
|
example_based returns the list of all unknown words
|
2010-01-28 16:27:28 +00:00 |
|
aarne
|
e056cc2bfd
|
in example-based grammar conversion, warnings about unknown words
|
2010-01-28 10:06:16 +00:00 |
|
aarne
|
750a2639b0
|
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
|
890d455793
|
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 |
|
krasimir
|
bc6323df4c
|
fix the PGF generation when it is used from the shell
|
2010-01-26 14:15:37 +00:00 |
|
krasimir
|
9b362ff231
|
PGF is now real synchronous PMCFG
|
2010-01-17 21:35:36 +00:00 |
|