 krasimir
|
d09371280d
|
fix the least version number for the base package
|
2009-10-01 17:20:04 +00:00 |
|
|
krasimir
|
288ef038f2
|
export the morphology API from PGF
|
2009-09-28 12:06:20 +00:00 |
|
|
krasimir
|
726d160c8d
|
bugfix: the identifiers in the output of l -table should not be qualified
|
2009-09-25 08:53:27 +00:00 |
|
|
krasimir
|
0b1590536a
|
bugfix in the filterProds function
|
2009-09-23 06:32:24 +00:00 |
|
|
krasimir
|
ea10ce93c4
|
the pmcfg_pretty printer now prints the actual grammar used for parsing
|
2009-09-23 06:28:36 +00:00 |
|
|
krasimir
|
884747508e
|
better error message for the ai command
|
2009-09-19 10:24:02 +00:00 |
|
|
krasimir
|
e363c40058
|
bugfix in PGF.TypeCheck
|
2009-09-19 10:21:26 +00:00 |
|
|
krasimir
|
502979bef1
|
use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent with the GF language
|
2009-09-19 10:16:37 +00:00 |
|
|
krasimir
|
c3f0986275
|
command ai doesn't need typechecking from the shell
|
2009-09-18 14:43:04 +00:00 |
|
|
krasimir
|
2c86af2865
|
typo in PGF.Expr
|
2009-09-18 12:05:32 +00:00 |
|
|
krasimir
|
1d7e3b4a9e
|
fix in GF.Grammar.Printer
|
2009-09-17 20:09:22 +00:00 |
|
|
krasimir
|
b8a7e50107
|
added pt -transfer
|
2009-09-17 15:47:06 +00:00 |
|
|
krasimir
|
bd2f46583c
|
remove the transfer modules. We don't need anything special, a transfer module is module without concrete syntax
|
2009-09-17 14:32:20 +00:00 |
|
|
krasimir
|
49ca46d958
|
bugfix in the ai command
|
2009-09-17 13:14:04 +00:00 |
|
|
krasimir
|
6c7330131d
|
more fixes in the testsuite
|
2009-09-16 12:49:04 +00:00 |
|
|
krasimir
|
9ca8db1cdb
|
another fix in the testsuite
|
2009-09-16 12:13:11 +00:00 |
|
|
krasimir
|
f45e0fe003
|
fix some tests in the testsuite
|
2009-09-16 11:20:05 +00:00 |
|
|
krasimir
|
118e1e6bd8
|
add Romanian to the build system
|
2009-09-16 08:40:16 +00:00 |
|
|
krasimir
|
fe8af90a48
|
forgot to push the changes to GF.cabal
|
2009-09-15 11:51:26 +00:00 |
|
|
krasimir
|
88a018d6c8
|
update the compiler testsuite
|
2009-09-14 16:27:37 +00:00 |
|
|
krasimir
|
14dfbcc624
|
clean up the GF.Grammar API
|
2009-09-14 16:23:23 +00:00 |
|
|
krasimir
|
9f3534b3bb
|
Use GF.Grammar.Printer everywhere instead of PrGrammar
|
2009-09-14 15:13:11 +00:00 |
|
|
krasimir
|
4426120eff
|
fix typo in CheckGrammar
|
2009-09-14 12:34:46 +00:00 |
|
|
krasimir
|
70fea39e2b
|
added some tests in the testsuite for the compiler
|
2009-09-14 12:17:57 +00:00 |
|
|
krasimir
|
62ef772a2c
|
CheckGrammar is now using the printer in GF.Grammar.Printer. Fixed bug that was hiding the warnings
|
2009-09-14 12:16:02 +00:00 |
|
|
krasimir
|
cc151c4279
|
added needsTypeCheck parameter to CommandInfo. The argument to the command is typechecked only if needsTypeCheck=True
|
2009-09-13 15:39:11 +00:00 |
|
|
krasimir
|
4111438979
|
the testsuite\runtime\parser test now generates random trees to test the parser with
|
2009-09-13 15:17:15 +00:00 |
|
|
krasimir
|
509d0cf8d8
|
added wrapper functions for expression manipulations in PGF. The Haskell API now uses the wrappers
|
2009-09-11 14:42:45 +00:00 |
|
|
krasimir
|
1cdf171251
|
polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr
|
2009-09-11 13:45:34 +00:00 |
|
|
krasimir
|
28a7c4b5c7
|
now the datatype Tree is only internal. All API functions are working with Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker
|
2009-09-08 08:40:28 +00:00 |
|
|
krasimir
|
9940c44259
|
export Hypo(..) from PGF
|
2009-09-07 19:16:27 +00:00 |
|
|
krasimir
|
76517518a3
|
make the PMCFG generation lazy again. it was made strict when the profiler was introduced
|
2009-09-07 14:45:17 +00:00 |
|
|
krasimir
|
b97d6abb81
|
hopefully complete and correct typechecker in PGF
|
2009-09-06 20:31:52 +00:00 |
|
|
krasimir
|
c99b64404d
|
bugfixes in the parser for PGF.Type.Type
|
2009-07-07 22:22:05 +00:00 |
|
|
krasimir
|
bb3040e2c4
|
bugfix in PGF.Expr.apply
|
2009-07-05 16:07:34 +00:00 |
|
|
krasimir
|
279ff9a6d2
|
PGF.Type.Hypo now can represent explicit and implicit arguments and argument without bound variable
|
2009-07-05 15:44:52 +00:00 |
|
|
krasimir
|
3394c171ed
|
PGF.Expr.eval now returns suspension when a meta variable is encountered
|
2009-07-05 15:34:16 +00:00 |
|
|
krasimir
|
95a577d269
|
simple profiler for PMCFG
|
2009-09-05 14:04:39 +00:00 |
|
|
krasimir
|
c93d0a3a26
|
the -dump-X options should convert to UTF8
|
2009-08-27 17:27:20 +00:00 |
|
|
krasimir
|
b6abe5f8f5
|
if there is oper patt = #(...) then it also should be decoded to Unicode
|
2009-08-27 15:57:38 +00:00 |
|
|
krasimir
|
dbf87958f9
|
let the 'se utf8' command change the terminal codepage to 65001 on Windows
|
2009-08-25 18:35:33 +00:00 |
|
|
krasimir
|
a73273895d
|
the parsing test now evaluates all languages
|
2009-08-19 22:35:57 +00:00 |
|
|
krasimir
|
8da1aab8ff
|
add functions and functionType to the PGF API
|
2009-08-19 20:59:43 +00:00 |
|
|
krasimir
|
f27c1785a7
|
let the GF.Grammar.Printer printer output the unicode symbols directly
|
2009-08-18 07:09:41 +00:00 |
|
|
krasimir
|
3ee04cc42d
|
fix the unicode encoding problem with the cc command
|
2009-08-18 07:08:44 +00:00 |
|
|
krasimir
|
b180ac61a5
|
merge some changes from the latest version of Data.Binary. Makes the binary decoding faster
|
2009-08-06 11:19:04 +00:00 |
|
|
krasimir
|
3473f0d274
|
added testcase for pattern matching on runtime variables
|
2009-07-22 09:53:39 +00:00 |
|
|
krasimir
|
4f21b57a86
|
updated the output in testsuite/compiler/check/lins
|
2009-07-22 09:51:57 +00:00 |
|
|
krasimir
|
5abc99b291
|
added testcases for evaluation with suspension
|
2009-07-07 11:40:14 +00:00 |
|
|
krasimir
|
fd03f9fa0f
|
added example for abstract syntax of RDF
|
2009-07-06 19:58:27 +00:00 |
|
|
krasimir
|
d965cf4755
|
simplification: decodeFile doesn't have to check that the file is empty anymore
|
2009-06-24 12:21:09 +00:00 |
|
|
krasimir
|
f20dd0ba4a
|
make the Functor Get instance in Data.Binary strict to be sure that the decoder is strict
|
2009-06-24 12:08:32 +00:00 |
|
|
krasimir
|
f81a309eb1
|
bugfix: Use openBinaryFile in Data.Binary.decodeFile. It makes difference only on Windows
|
2009-06-24 12:07:38 +00:00 |
|
|
krasimir
|
cf4efe0acc
|
explicitly close the file handle in Data.Binary.decodeFile
|
2009-06-24 10:39:03 +00:00 |
|
|
krasimir
|
9e3131f169
|
make Data.Binary.decodeFile stricter. It seems like this fixes the file locking problem on Linux
|
2009-06-23 11:56:22 +00:00 |
|
|
krasimir
|
8e72ff3a1c
|
added preCopy and postCopy hooks in Setup.hs
|
2009-06-23 11:44:36 +00:00 |
|
|
krasimir
|
3db76063a4
|
in splitContraints the values first have to be reduced
|
2009-06-19 14:37:58 +00:00 |
|
|
krasimir
|
bc4d9df645
|
replace the reference to src/INSTALL with doc/gf-developers.html in the README
|
2009-06-19 13:39:32 +00:00 |
|
|
krasimir
|
e51a896b94
|
extend the developers documentation with some information for readline,editline and haskeline
|
2009-06-19 13:37:38 +00:00 |
|
|
krasimir
|
b8776e6e28
|
fix the current PGF typechecker
|
2009-06-19 12:03:18 +00:00 |
|
|
krasimir
|
6220ebd383
|
bugfix: restore the check for bound variables in expr2tree
|
2009-06-19 06:37:24 +00:00 |
|
|
krasimir
|
eeb08bbd4d
|
added testcase for linearization with HOAS
|
2009-06-18 17:47:06 +00:00 |
|
|
krasimir
|
13232a5e81
|
in the ai command don't show the fun keyword if there aren't any functions.
|
2009-06-18 17:44:29 +00:00 |
|
|
krasimir
|
d2dd0830f1
|
the PMCFG lexical categories are not printed out with prefix C i.e. CInt,.. to make them different from the same PGF categories
|
2009-06-18 17:33:06 +00:00 |
|
|
krasimir
|
5f0a68c1a4
|
bugfix: the optimizer should not filter out rules that refer to lexical categories
|
2009-06-18 17:31:49 +00:00 |
|
|
krasimir
|
e69f8165c0
|
make erasing=on the default
|
2009-06-16 14:50:06 +00:00 |
|
|
krasimir
|
358e5de44e
|
fix the path in Italian
|
2009-06-16 12:20:06 +00:00 |
|
|
krasimir
|
6d82c8ed3d
|
now rgl-pgf produces one .pgf per language and finally one combined .pgf
|
2009-06-16 12:15:11 +00:00 |
|
|
krasimir
|
8bc8929c59
|
completely phrase based parser and support for pre {} in PMCFG
|
2009-06-16 11:56:08 +00:00 |
|
|
krasimir
|
b442cde3bd
|
reduce the number of variants in Interlingua
|
2009-06-16 07:53:01 +00:00 |
|
|
krasimir
|
b2b4a7064b
|
remove some obsolete code from Interlingua
|
2009-06-15 09:59:21 +00:00 |
|
|
krasimir
|
6e1269bb33
|
fix the -path directive in French
|
2009-06-15 09:58:29 +00:00 |
|
|
krasimir
|
d73e54ed50
|
reduce the number of variants in Catalan
|
2009-06-15 09:56:35 +00:00 |
|
|
krasimir
|
44bb6250b8
|
reduce the number of variants in Spanish
|
2009-06-15 09:31:20 +00:00 |
|
|
krasimir
|
5cc7a3f402
|
add reference to the developers quite from the GF Tutorial
|
2009-06-13 18:10:35 +00:00 |
|
|
krasimir
|
f587501181
|
update the developers documentation with instructions for building and running the testsuite
|
2009-06-13 18:02:06 +00:00 |
|
|
krasimir
|
4d8a5fbd50
|
make the text in the SyntaxEditor float nicely
|
2009-06-06 08:33:11 +00:00 |
|
|
krasimir
|
aa46238342
|
added AllTur.gf and AllTurAbs.gf
|
2009-05-25 16:54:27 +00:00 |
|
|
krasimir
|
9142fcff76
|
split the testsuite to different directories for compiler, runtime and libraries
|
2009-06-13 13:54:06 +00:00 |
|
|
krasimir
|
c25d7be877
|
use oper in examples
|
2009-06-13 13:36:41 +00:00 |
|
|
krasimir
|
fb29ce7834
|
scratched version of GWT Syntax Editor
|
2009-06-05 18:19:53 +00:00 |
|
|
krasimir
|
fc38ae9a93
|
update the Makefile and the README for the server
|
2009-06-04 16:45:29 +00:00 |
|
|
krasimir
|
02ec4e5329
|
added decoding from UTF8 in MorphoService.hs
|
2009-06-04 16:39:06 +00:00 |
|
|
krasimir
|
3587a3a7f6
|
GF.Grammar.Parser is added to gf-server.cabal to tell Cabal that he has to run Happy
|
2009-06-04 16:38:07 +00:00 |
|
|
krasimir
|
f2a968b6d5
|
the morpho server is now updated and works with the current GF. the sources are moved in directory server
|
2009-06-04 16:26:52 +00:00 |
|
|
krasimir
|
6a263f05aa
|
Update FastCGIUtils.hs to work with GHC 6.10
|
2009-06-04 14:56:50 +00:00 |
|
|
krasimir
|
3efb7a671b
|
added test cases for computation with abstract syntax terms
|
2009-05-23 21:43:24 +00:00 |
|
|
krasimir
|
e5c8636a5f
|
now in the command shell the primary type in the pipe is Expr not Tree. This makes the pt -compute and pt -typecheck more interesting
|
2009-05-23 21:33:52 +00:00 |
|
|
krasimir
|
41b263cf6a
|
some work on evaluation with abstract expressions in PGF
|
2009-05-22 18:54:51 +00:00 |
|
|
krasimir
|
7a204376c9
|
fix in testcase testsuite\paraphrase
|
2009-05-22 22:14:57 +00:00 |
|
|
krasimir
|
a7900bfbc8
|
fix the handling of wildcards
|
2009-05-22 21:47:32 +00:00 |
|
|
krasimir
|
c520039f1c
|
fix the funpatt testcase
|
2009-05-22 21:42:21 +00:00 |
|
|
krasimir
|
7f60804d5a
|
bugfix to the previous patches
|
2009-05-22 21:30:34 +00:00 |
|
|
krasimir
|
7db4b641ce
|
refactor the PGF.Expr type and the evaluation of abstract expressions
|
2009-05-20 21:03:56 +00:00 |
|
|
krasimir
|
401dfc28d6
|
some more tests for evaluation in the abstract syntax
|
2009-05-20 20:27:19 +00:00 |
|
|
krasimir
|
8f2fb82750
|
more friendly error message when renaming patterns
|
2009-05-20 20:24:15 +00:00 |
|
|
krasimir
|
6de94f5300
|
fix the generation of warnings in CheckGrammar. They are printed even in quiet mode and the prefix "Warning" is added automatically
|
2009-05-20 17:05:58 +00:00 |
|
|
krasimir
|
880665ad0f
|
testcase for parameters with nested records
|
2009-05-20 16:38:19 +00:00 |
|
|
krasimir
|
77017c75a7
|
added testcase for categories with lincat C = {};
|
2009-05-20 16:27:12 +00:00 |
|
|
krasimir
|
0d36ec5879
|
added testcases for abstract syntax computation
|
2009-05-20 15:01:52 +00:00 |
|