99 Commits

Author	SHA1	Message	Date
aarne	650aab234a	labels in dep trees (preliminary)	2009-10-19 08:47:44 +00:00
aarne	4f7595b1f5	improved printing of dependency trees	2009-10-18 19:24:01 +00:00
krasimir	fb60cc36d1	added smart constructors for types in PGF	2009-10-15 16:21:26 +00:00
aarne	fa8bcda821	rudimentary dependency tree by command vd	2009-10-08 07:03:29 +00:00
aarne	deb905bbdb	parse tree visualization command vp	2009-10-07 16:18:33 +00:00
krasimir	2732a7a22e	Implicit arguments in GF. Works only in PGF for now.	2009-10-02 13:25:12 +00:00
krasimir	1dfa67a30a	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	bb0be1e964	export the morphology API from PGF	2009-09-28 12:06:20 +00:00
krasimir	b4f8f39f76	bugfix in the filterProds function	2009-09-23 06:32:24 +00:00
krasimir	b6a011c734	the pmcfg_pretty printer now prints the actual grammar used for parsing	2009-09-23 06:28:36 +00:00
krasimir	c09404ebc1	bugfix in PGF.TypeCheck	2009-09-19 10:21:26 +00:00
krasimir	fd63cdaeed	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	e8d8f5dfe1	typo in PGF.Expr	2009-09-18 12:05:32 +00:00
krasimir	347e5db212	bugfix in the ai command	2009-09-17 13:14:04 +00:00
krasimir	57e53d46f6	added wrapper functions for expression manipulations in PGF. The Haskell API now uses the wrappers	2009-09-11 14:42:45 +00:00
krasimir	d294b70395	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	be3dc0ef9e	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	54dbfeef48	hopefully complete and correct typechecker in PGF	2009-09-06 20:31:52 +00:00
krasimir	26367d6a1e	bugfixes in the parser for PGF.Type.Type	2009-07-07 22:22:05 +00:00
krasimir	ee4734c472	bugfix in PGF.Expr.apply	2009-07-05 16:07:34 +00:00
krasimir	cb6244c820	PGF.Type.Hypo now can represent explicit and implicit arguments and argument without bound variable	2009-07-05 15:44:52 +00:00
krasimir	a2929ac2b1	PGF.Expr.eval now returns suspension when a meta variable is encountered	2009-07-05 15:34:16 +00:00
aarne	dc63402761	test unification in TypeCheck	2009-06-22 06:39:25 +00:00
krasimir	f8e3d5a3fc	in splitContraints the values first have to be reduced	2009-06-19 14:37:58 +00:00
krasimir	ec4b9c18af	fix the current PGF typechecker	2009-06-19 12:03:18 +00:00
krasimir	46439cdab9	bugfix: restore the check for bound variables in expr2tree	2009-06-19 06:37:24 +00:00
krasimir	a33f1bd3c5	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	aaeecb9b5d	bugfix: the optimizer should not filter out rules that refer to lexical categories	2009-06-18 17:31:49 +00:00
krasimir	194a185e63	completely phrase based parser and support for pre {} in PMCFG	2009-06-16 11:56:08 +00:00
krasimir	0c46a129e6	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	f9c877eec6	some work on evaluation with abstract expressions in PGF	2009-05-22 18:54:51 +00:00
krasimir	e5399f2d0e	refactor the PGF.Expr type and the evaluation of abstract expressions	2009-05-20 21:03:56 +00:00
krasimir	7593e69214	added filtering for useless productions in PMCFG	2009-05-18 15:52:10 +00:00
krasimir	f4164303d0	added command ai which prints information about given identifier	2009-05-12 20:52:18 +00:00
krasimir	26ab90c652	upgrade to GHC 6.10.2	2009-04-30 05:13:55 +00:00
krasimir	829ba15752	proper pretty printing of tokens in PGF.PMCFG	2009-04-15 12:10:08 +00:00
krasimir	17055dc496	raise better error message when decode PGF file	2009-04-02 13:25:20 +00:00
krasimir	ff573ca0de	special cases for printing the build-in PMCFG categories	2009-03-09 18:08:54 +00:00
krasimir	8ec1a5643e	fixes in the pretty printer for PMCFG	2009-02-08 09:57:16 +00:00
krasimir	72fa768613	PMCFG pretty printer	2009-02-07 23:31:22 +00:00
krasimir	52c538bfd1	tabularLinearize should always generate label names	2009-02-02 09:56:02 +00:00
aarne	f207a4038e	metavariables made unique in type checking	2009-01-30 16:52:38 +00:00
aarne	4d970ae48c	fixed discontinuous constituents in word alignment	2008-12-16 15:20:03 +00:00
aarne	c75c7a38a0	datatype for bracketed texts, and improved word alignment	2008-12-16 13:56:23 +00:00
aarne	4fd7cb4976	position of arrows in alignment	2008-12-16 08:59:26 +00:00
aarne	9982b15b5b	better treatment of syncategorematic words in alignment	2008-12-15 15:45:36 +00:00
aarne	2bccc3e405	visualization of word alignment based on bracketing (command aw); does not work for syncategorematic words yet	2008-12-15 10:33:53 +00:00
aarne	10fbaa6dec	bracketing with tree node reference: l -bracket	2008-12-13 20:19:37 +00:00
aarne	c69cfe7a50	added and editor function allMetas showing all meta positions and their types	2008-12-10 14:20:52 +00:00
aarne	e0600ad248	documentation in the Editor files	2008-12-10 13:22:54 +00:00