920 Commits

Author	SHA1	Message	Date
krangelov	5811720d3a	code cleanup	2021-12-21 09:19:18 +01:00
krangelov	0a8b6d2586	make sure that types in ResValue are precomputed	2021-12-21 09:16:53 +01:00
krangelov	f2b6f36e02	generalize the syntax for pre patterns	2021-12-20 15:44:30 +01:00
krangelov	2be3fd7e78	eval pattern macroses	2021-12-20 15:03:15 +01:00
krangelov	ef84adf107	refactoring	2021-12-19 14:18:19 +01:00
krangelov	f6789fdfbf	refactor VC -> VC & VEmpty	2021-12-19 14:13:37 +01:00
krangelov	275f8f37ce	handle pre when it is in the arguments of a Predef function	2021-12-19 10:43:06 +01:00
krangelov	b266c55f8a	narrowing for table [...]	2021-12-17 17:26:23 +01:00
krangelov	2cb4fda502	more clean up	2021-12-17 10:05:20 +01:00
krangelov	2f79892463	clean up imports	2021-12-17 10:01:07 +01:00
krangelov	8e841d8c9b	remove some dead code	2021-12-16 19:04:53 +01:00
krangelov	c8dcc10325	another fix for cc	2021-12-16 14:00:25 +01:00
krangelov	4ed287a809	bug fix and refactoring in the cc command	2021-12-16 13:14:29 +01:00
krangelov	8466692584	a bit more refactoring	2021-12-16 10:58:40 +01:00
krangelov	60c9d46141	simplify the Ident type	2021-12-16 09:53:39 +01:00
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