891 Commits

Author	SHA1	Message	Date
krangelov	404feea345	a bit of refactoring	2021-12-13 11:04:13 +01:00
krangelov	bb053119b3	when a pattern macro is invoked, the operation must be computed first	2021-12-13 09:55:37 +01:00
krangelov	f7bf18d101	fix value2term for predefined functions	2021-12-13 09:44:28 +01:00
krangelov	ad4c5029a3	fix the implementation for Predef.tk & Predef.dp	2021-12-10 12:05:01 +01:00
krangelov	b0672afc67	fully implement the linearize command	2021-12-10 10:34:57 +01:00
krangelov	9b0b038984	handle records of parameters	2021-12-09 17:45:39 +01:00
krangelov	0069946f42	linearization for HOAS expressions	2021-12-09 08:45:53 +01:00
krangelov	cd3f290ff2	always generate PMCFG for the literal categories	2021-12-07 15:51:34 +01:00
krangelov	d274f4856e	compile lindef & linref rules	2021-12-06 15:47:57 +01:00
krangelov	a3d680f317	restored graphvizAbstractTree	2021-12-04 16:05:24 +01:00
krangelov	3d1123eed4	restore graphvizParseTree	2021-12-04 14:12:23 +01:00
krangelov	bbff79aaa3	added API for print names	2021-12-03 16:49:36 +01:00
krangelov	655576c291	the variable labeling should start with 0.	2021-12-03 15:00:04 +01:00
krangelov	483f93822c	fix in the PMCFG generation	2021-12-01 10:13:01 +01:00
krangelov	4a68ea93b3	generate and store the ranges for all linearization rules	2021-11-26 14:05:03 +01:00
krangelov	794e15aca3	fix in the PMCFG generation	2021-11-26 08:32:00 +01:00
krangelov	06980404a9	correctly distinguish between fun and data judgements	2021-11-18 13:50:09 +01:00
krangelov	6295b32405	generate field names and pipe them to the runtime	2021-11-17 11:34:31 +01:00
krangelov	5649bc1ef0	started piping PMCFG rules to the runtime	2021-11-16 11:49:02 +01:00
krangelov	6552bcf909	Unify the data model between the C runtime and the Haskell binding	2021-11-09 02:04:36 +01:00
krangelov	1413c273cc	API for adding concrete syntaxes. Garbage collection to be fixed!	2021-10-21 19:18:14 +02:00
krangelov	259ed52a77	fix the compilation of pre	2021-10-21 10:10:04 +02:00
krangelov	38d189f8ef	bugfix for predefined operations	2021-10-21 08:55:22 +02:00
krangelov	64ccd82958	make record extension more compact after typechecking	2021-10-20 19:57:42 +02:00
krangelov	b6047463a9	we can finally compile the English RGL	2021-10-20 19:39:02 +02:00
krangelov	5ee960ed7c	fix the evaluation for Prod	2021-10-14 10:24:20 +02:00
krangelov	27f0ff14a3	VT should preserve its environment	2021-10-13 19:43:01 +02:00
krangelov	c3eb6973f4	working PMCFG generation	2021-10-13 19:14:56 +02:00
krangelov	8c721e063c	partial support for runtime parameters	2021-10-12 12:06:59 +02:00
krangelov	62d5ed5b42	small progress on PMCFG	2021-10-08 19:25:21 +02:00
krangelov	15e3ca9acd	use prependModule to make the current module available	2021-10-08 11:56:28 +02:00
krangelov	98f42051b1	first steps towards PMCFG generation	2021-10-08 11:53:07 +02:00
krangelov	e33d881ce8	finished the partial evaluator	2021-10-07 11:47:51 +02:00
krangelov	fd6cd382c5	added VGlue to cover the case where we can't precompute the glue	2021-10-05 19:39:24 +02:00
krangelov	2a2d7269cf	remove the Term(Error) constructor. Better propagation of errors.	2021-10-05 19:31:12 +02:00
krangelov	dc59d9f3f9	trivial implementation for EPatt & EPattType	2021-10-05 15:45:16 +02:00
krangelov	3c4e7dd20c	partial evaluation for (+)	2021-10-05 15:37:42 +02:00
krangelov	93c2f47752	missed VStr -> string2value	2021-10-05 13:38:00 +02:00
krangelov	51954c60ea	fix the printer for strings with escape characters	2021-10-05 13:36:54 +02:00
krangelov	557cdb82a7	strings computed from a predefined operation should be tokenized	2021-10-05 11:50:59 +02:00
krangelov	26be741dea	most primitives in Predef.gf are now implemented	2021-10-05 11:31:39 +02:00
krangelov	0229329d7c	implemented pattern macros	2021-09-29 17:38:53 +02:00
krangelov	6efb878c43	pattern matching for "x"*	2021-09-29 14:57:18 +02:00
krangelov	edd7081dea	implement measured patterns	2021-09-29 13:26:06 +02:00
krangelov	2137324f81	safe pattern matching in the presence of a variable	2021-09-29 09:32:09 +02:00
krangelov	86326d282f	pattern matching on strings	2021-09-29 09:18:52 +02:00
krangelov	fee186feca	fix table selection with meta variables and lambda variables	2021-09-28 13:49:35 +02:00
krangelov	28dd0eda22	evaluation for Prod	2021-09-28 11:47:31 +02:00
krangelov	f82f19ba68	better error handling	2021-09-24 19:54:29 +02:00
krangelov	f83ea160da	more patterns in the partial evaluator	2021-09-24 19:14:48 +02:00