885 Commits

Author	SHA1	Message	Date
Krasimir Angelov	4c433b6b9d	Merge branch 'master' into majestic	2022-05-31 10:20:22 +02:00
Krasimir Angelov	b7672b67a3	adjust the -view command depending on the OS	2022-05-31 10:15:50 +02:00
Krasimir Angelov	03fe38124f	Merge branch 'master' into majestic	2022-05-31 08:05:00 +02:00
Krasimir Angelov	18f70b786f	first draft for lookupMorpho	2022-05-30 21:16:34 +02:00
Krasimir Angelov	5594679a83	first draft of the new allocator with transactions support	2022-05-20 13:55:45 +02:00
Andreas Källberg	9b9905c0b2	Always use UTF8 encoding in the gf executable ... This fixes many of the "Invalid character" messages you can get on different platforms. This has helped both with a nix-installation that didn't have global locale set and with a windows installation.	2022-05-18 14:42:01 +08:00
Meng Weng Wong	3a1213ab37	prepare for GHC 9, base 4.15, by using Buffer constructor interface	2022-03-05 12:59:25 +08:00
Krasimir Angelov	f0045e910e	better output for 'pg -fullform'	2022-01-28 17:32:40 +01:00
Krasimir Angelov	a216c1aa6d	ensure left-to-right pattern maching of records	2022-01-11 13:31:44 +01:00
Krasimir Angelov	310b40be31	strip redundant code	2022-01-11 13:31:00 +01:00
Krasimir Angelov	54993bce12	deepForce VSymCat	2022-01-11 12:48:14 +01:00
Krasimir Angelov	f5435dba38	restore the rigt order for terms	2022-01-09 08:00:05 +01:00
Krasimir Angelov	e65a3a06c9	fix the serialization	2022-01-08 20:02:40 +01:00
Krasimir Angelov	00f857559d	restore the sharing of sequences. Shrinks the grammar by ~45%	2022-01-08 19:49:42 +01:00
Krasimir Angelov	f118e644d9	finished 'create lincat'	2021-12-29 14:06:24 +01:00
Krasimir Angelov	daebed0b7b	check the resource and the compiled grammar for compatibility	2021-12-29 12:28:50 +01:00
Krasimir Angelov	16b0eea568	code cleanup	2021-12-28 13:38:19 +01:00
Krasimir Angelov	c9b90a509c	first draft of a working "create lin" command	2021-12-28 13:36:53 +01:00
krangelov	8b602d6c9f	mergePGF now detects when grammars have different abstract syntaxes	2021-12-24 16:19:14 +01:00
krangelov	21d38a7b4a	detect when we load a grammar with a different abstract and don't try to merge	2021-12-24 16:01:42 +01:00
krangelov	39853b3c04	add command "import -resource"	2021-12-24 14:46:07 +01:00
krangelov	cb10e2fe32	add commands to add/remove concrete syntaxes	2021-12-24 13:56:27 +01:00
krangelov	67a7e928f6	the import command can also boot images from .pgf files now	2021-12-24 12:52:29 +01:00
krangelov	cf87f55fa0	remove the trace message	2021-12-24 12:41:02 +01:00
krangelov	f606547209	the import command can now create blank grammars	2021-12-24 12:35:12 +01:00
krangelov	56824cb645	error -> fail	2021-12-24 11:15:10 +01:00
krangelov	5c16693da3	started create/drop with lin & lincat	2021-12-23 23:04:31 +01:00
krangelov	b000b80159	added commands create cat & drop cat	2021-12-23 19:21:55 +01:00
krangelov	f5798350fd	commands "create fun" & "drop fun" in the shell	2021-12-23 14:55:26 +01:00
krangelov	12b4958b99	make it possible to merge PGF files in the compiler	2021-12-22 10:47:22 +01:00
krangelov	13b6d51d43	support records as parameter types	2021-12-21 11:16:01 +01:00
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