905 Commits

Author	SHA1	Message	Date
krangelov	7dea9598a4	remove the trace messages	2021-12-16 08:46:37 +01:00
krangelov	937a78c628	drop the -trace option	2021-12-15 13:08:10 +01:00
krangelov	f793ed4413	generate PMCFG only for complete modules	2021-12-15 09:53:45 +01:00
krangelov	b61e870783	a better error message	2021-12-15 09:36:12 +01:00
krangelov	4b7eaaf43f	make sure that everything is evaluated before conversion	2021-12-15 08:23:31 +01:00
krangelov	14feb56140	bugfix in the conversion of parameters to numbers	2021-12-14 19:08:01 +01:00
krangelov	e2b6774bd3	the elimination of empty tokens is moved to the typechecker	2021-12-14 15:59:13 +01:00
krangelov	7556662344	compile record expansions with let bindings to avoid duplication	2021-12-14 15:27:53 +01:00
krangelov	f332a03c79	support Ints n as a parameter type	2021-12-14 15:27:03 +01:00
krangelov	51e337a910	prevent the compilation of empty tokens	2021-12-14 11:39:18 +01:00
krangelov	77693dca3e	one more trivial optimization for string patterns	2021-12-14 09:25:08 +01:00
krangelov	4886c7ce3b	optimize certain pathological pattern matchings for strings	2021-12-14 09:16:40 +01:00
krangelov	9efb6b002f	if a module is compiled with -no-pmcfg the PMCFG is generated on demand	2021-12-13 11:17:10 +01:00
krangelov	88ac47621a	remove deprecated module	2021-12-13 11:10:20 +01:00
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