70 Commits

Author	SHA1	Message	Date
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	7db4b641ce	refactor the PGF.Expr type and the evaluation of abstract expressions	2009-05-20 21:03:56 +00:00
krasimir	5f986f5992	added filtering for useless productions in PMCFG	2009-05-18 15:52:10 +00:00
krasimir	b037cbc361	added command ai which prints information about given identifier	2009-05-12 20:52:18 +00:00
krasimir	c6ac4801ad	upgrade to GHC 6.10.2	2009-04-30 05:13:55 +00:00
krasimir	9c47cf4168	proper pretty printing of tokens in PGF.PMCFG	2009-04-15 12:10:08 +00:00
krasimir	fda12955fb	raise better error message when decode PGF file	2009-04-02 13:25:20 +00:00
krasimir	85d9c76b5c	special cases for printing the build-in PMCFG categories	2009-03-09 18:08:54 +00:00
krasimir	3548610ba1	fixes in the pretty printer for PMCFG	2009-02-08 09:57:16 +00:00
krasimir	5c2ce87cde	PMCFG pretty printer	2009-02-07 23:31:22 +00:00
krasimir	ddd7ab98d8	tabularLinearize should always generate label names	2009-02-02 09:56:02 +00:00
aarne	241e13247d	metavariables made unique in type checking	2009-01-30 16:52:38 +00:00
aarne	cb44a12c1b	fixed discontinuous constituents in word alignment	2008-12-16 15:20:03 +00:00
aarne	e32e914703	datatype for bracketed texts, and improved word alignment	2008-12-16 13:56:23 +00:00
aarne	8c7aa2f5bb	position of arrows in alignment	2008-12-16 08:59:26 +00:00
aarne	e478228cb5	better treatment of syncategorematic words in alignment	2008-12-15 15:45:36 +00:00
aarne	10675e29ca	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	3e293ae3e0	bracketing with tree node reference: l -bracket	2008-12-13 20:19:37 +00:00
aarne	db65b6bce1	added and editor function allMetas showing all meta positions and their types	2008-12-10 14:20:52 +00:00
aarne	a554ced10d	documentation in the Editor files	2008-12-10 13:22:54 +00:00
aarne	efdbf69b93	fix in Editor	2008-12-10 12:13:01 +00:00
aarne	5974263e95	parsing in the toy editor	2008-12-09 23:05:32 +00:00
aarne	d925bb35c1	Editor with some commands, using PGF API, with demo shell in exper/EditShell; still buggy	2008-12-09 14:52:12 +00:00
aarne	a6097ccee6	started PGF editor	2008-12-08 17:15:36 +00:00
krasimir	c3c834c79e	even more compact binary representation. saldo < 19MB	2008-10-28 16:54:46 +00:00
krasimir	adcf1a8c34	remove some traces that I left by incident	2008-10-28 16:31:30 +00:00
krasimir	03d86ba05c	remove some redundant imports of GF.Text.UTF8	2008-10-28 15:47:04 +00:00
krasimir	e6bb0a8eda	forgot to add PGF.Binary	2008-10-28 15:40:10 +00:00
krasimir	ebd98056ce	binary serialization for PGF	2008-10-28 13:57:10 +00:00
krasimir	f8331e5b4b	define Read and Show instances for Expr and Tree	2008-10-28 12:22:34 +00:00
krasimir	0606de738e	efficient and nicer implementation for literal categories	2008-10-21 14:30:36 +00:00
krasimir	41fb72ca6f	the literal categories were slowing down the parser 3 times. this is quick and dirty workaround until I find something cleverer.	2008-10-20 15:38:59 +00:00
bjorn	6b8c9dd4c9	Added PGF.Macros.mapConcretes	2008-10-20 14:51:42 +00:00
bjorn	d41616dd6a	Added Read and Show instances for CId. Also added readCId :: String -> Maybe CId, and use that for readLanguage.	2008-10-20 11:59:31 +00:00
bjorn	2174690c5e	Added Read and Show instances for Type. This required moving some code around.	2008-10-20 11:36:17 +00:00
bjorn	a26290659d	Replace Category with Type in the PGF API. Added readLanguage and showLanguage.	2008-10-20 11:35:05 +00:00
krasimir	eb0fefec28	preparation for dep. types. The -cat option can take any type instead of just a category. The PGF API is generalized as well.	2008-10-20 08:42:39 +00:00
krasimir	abe8da32fd	add parser and pretty printer for types	2008-10-20 07:52:14 +00:00
krasimir	418856d9bf	move the literal category names to PGF.Macros	2008-10-19 14:21:58 +00:00
krasimir	9837fb8fb1	move PGF.Quiz to GF.Quiz. It is not part of the PGF API	2008-10-19 16:38:56 +00:00
bjorn	dc3f283344	Moved parser building in the PGF interpreter to PGF.hs from PGF/Raw/Convert.hs, in preparation for doing something more clever about it (e.g. looking at the parser flag).	2008-10-16 10:13:25 +00:00
bjorn	5422eb54d9	code tweak: use Map.findWithDefault in PGF.Macros.lookMap	2008-10-16 08:22:04 +00:00
aarne	856c31a64b	restored the possibility to compile .cf files to gf	2008-10-15 15:08:38 +00:00
krasimir	adc6566cd3	high-order syntax in PMCFG	2008-10-15 14:58:00 +00:00
krasimir	e36d70d483	threat category _Var as a literal category	2008-10-15 08:38:34 +00:00
krasimir	4fa3eb87cd	generate metavariables in the tree extraction for PMCFG	2008-10-15 08:02:12 +00:00
krasimir	5f33e0bda9	store the total number of PMCFG categories in the PGF file	2008-10-15 07:47:57 +00:00
krasimir	57ee52103d	literal categories in the incremental parser	2008-10-14 15:29:50 +00:00
aarne	e4dc63f665	rudimentary abstract syntax type checker and solver in PGF	2008-10-14 14:34:08 +00:00