krasimir
|
4c77dcf938
|
merge GF.Grammar.API into GF.Grammar
|
2009-10-02 23:34:35 +00:00 |
|
krasimir
|
d64419f2f2
|
refactor GF.Infra.CheckM and use the CheckM monad in the renamer as well
|
2009-10-02 22:52:14 +00:00 |
|
krasimir
|
8e79954861
|
Implicit arguments in GF. Works only in PGF for now.
|
2009-10-02 13:25:12 +00:00 |
|
krasimir
|
af831e01a7
|
refactoring in GF.Grammar.Macros
|
2009-09-21 06:56:39 +00:00 |
|
krasimir
|
96786c1136
|
syntax for implicit arguments in GF
|
2009-09-20 13:47:08 +00:00 |
|
krasimir
|
a29a8e4f60
|
rename MetaSymb in GF.Grammar.Grammar to MetaId to match the convention in PGF
|
2009-09-20 10:28:27 +00:00 |
|
krasimir
|
81ca1a5744
|
remove the Read instances from GF.Grammar.Grammar
|
2009-09-20 10:16:59 +00:00 |
|
krasimir
|
cebd0560c8
|
rename Decl in GF.Grammar.Grammar to Hypo to match the convention in PGF
|
2009-09-20 10:15:39 +00:00 |
|
krasimir
|
b1a51f46f5
|
change the data types and the syntax in PGF to match the new syntax for implict arguments
|
2009-09-20 11:43:41 +00:00 |
|
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 |
|
aarne
|
03a058297e
|
make Romanian compilable for present, and Bronzeage for most languages
|
2009-09-15 15:27:42 +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 |
|
aarne
|
785ef9224b
|
revised FoodsHeb
|
2009-09-03 14:26:31 +00:00 |
|
krasimir
|
c93d0a3a26
|
the -dump-X options should convert to UTF8
|
2009-08-27 17:27:20 +00:00 |
|