 krasimir
|
2d3340b48a
|
During the compilation, the final message "OK" should be displayed only if we are not in silent mode. This was changed incidentally on the way.
|
2010-10-25 11:31:16 +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
|
8970184578
|
added option -depth to command gr
|
2010-10-12 13:36:37 +00:00 |
|
|
krasimir
|
89ae7a3ac4
|
forgot to remove a trace message
|
2010-10-02 13:38:00 +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 |
|
|
aarne
|
709b0518fa
|
restored the .ebnf grammar format
|
2010-09-24 12:39:49 +00:00 |
|
|
krasimir
|
617ce3cce6
|
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
|
2010-09-22 15:49:16 +00:00 |
|
|
krasimir
|
1c9305e7a3
|
cleanup and export the Probabilistic API from PGF
|
2010-09-22 09:06:19 +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
|
712b113c9a
|
fix the algorithm for items cutting in the partial parser
|
2010-07-15 14:01:51 +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
|
4c576ebbc9
|
forgot to fix the import in GF.Speech.CFG to get the Token type
|
2010-06-29 12:58:35 +00:00 |
|
|
krasimir
|
272dcf6917
|
introduce the type synonym Token=String in the PGF API
|
2010-06-29 09:00:41 +00:00 |
|
|
krasimir
|
a6b8c11905
|
fix the compilation of literal categories in GeneratePMCFG.hs
|
2010-06-22 11:29:20 +00:00 |
|
|
krasimir
|
e94a1c7408
|
GF.Grammar.Printer: print expressions with lincat and lin
|
2010-06-21 15:23:49 +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
|
183c878173
|
GF.Grammar.Lookup.allParamValues now works for table types as well
|
2010-06-17 09:51:10 +00:00 |
|
|
aarne
|
74811193ed
|
case for pre in CF generation (ignores alternatives so far)
|
2010-06-03 21:43:35 +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
|
e8428b3d67
|
revert change in GF.Grammar.Printer that was intended for debugging only
|
2010-06-08 09:53:13 +00:00 |
|
|
krasimir
|
c3f4c3eba7
|
refactoring in GF.Grammar.Grammar
|
2010-05-28 14:15:15 +00:00 |
|
|
krasimir
|
f9f2491fcc
|
composOp should iterate under ImplArg
|
2010-05-28 12:19:04 +00:00 |
|
|
krasimir
|
ee6fdbf68f
|
bugfix in GF.Grammar.Printer
|
2010-05-28 09:43:58 +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 |
|
|
krasimir
|
31856ebb4c
|
now the parser could return partial parse results
|
2010-05-19 12:31:36 +00:00 |
|
|
aarne
|
abfda7dd48
|
spacing of German numerals
|
2010-05-08 13:54:38 +00:00 |
|
|
aarne
|
c5b3de8825
|
Amharic transliteration by Markos
|
2010-05-07 12:23:57 +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 |
|
|
aarne
|
3148bc3d90
|
new option pg -funs
|
2010-04-28 19:09:59 +00:00 |
|
|
krasimir
|
68de1cead3
|
wf,vt,vp,vd,aw should store files in utf8
|
2010-04-28 17:37:53 +00:00 |
|
|
krasimir
|
c87bbcb8e4
|
fix the -view option for vt,vp,vd,aw to work on Windows
|
2010-04-27 20:01:54 +00:00 |
|
|
krasimir
|
2f62ab26e6
|
convert GF.Data.SortedList to UTF8
|
2010-04-24 09:13:26 +00:00 |
|
|
krasimir
|
7c67a90327
|
always use Haskeline. drop Readline & Editline
|
2010-04-19 15:12:52 +00:00 |
|
|
krasimir
|
6313244eac
|
use the native unicode support from GHC 6.12
|
2010-04-19 09:38:36 +00:00 |
|
|
aarne
|
ba13052d31
|
dependency graph can be restricted to some modules; added help dg
|
2010-04-06 08:53:44 +00:00 |
|
|
aarne
|
7a14507189
|
in the shell, permit 3-letter lang codes as concrete syntax names
|
2010-04-04 20:46:36 +00:00 |
|