12 Commits

Author	SHA1	Message	Date
krangelov	b1dd94e4b0	fix the testsuite failure after the second run	2021-08-31 10:20:51 +02:00
John J. Camilleri	239fd02249	Add more test cases for read/boot failures, those which incorrectly fail are commented out	2021-08-30 13:22:49 +02:00
John J. Camilleri	5c5e26cc8d	Test bootNGF and readNGF too, run tests on all three PGFs	2021-08-30 09:45:02 +02:00
krangelov	3e7d80bf30	reading & showing unicode identifiers	2021-08-27 14:44:42 +02:00
krangelov	8195f8b0cb	support for unbounded integers	2021-08-27 11:31:10 +02:00
krangelov	275addfcbe	pretty printing for expressions and types	2021-08-26 15:46:16 +02:00
krangelov	edba4fda32	test that we can handle loading failures	2021-08-12 14:23:20 +02:00
krangelov	0ece508716	added categoryProb, functionProb, functionIsConstructor	2021-08-12 11:10:27 +02:00
krangelov	f2da618e5d	implemented categoryContext	2021-08-12 10:42:02 +02:00
krangelov	4abe7836e0	test case for functionType	2021-08-12 07:53:55 +02:00
krangelov	dc1644563f	extend the abstract syntax API	2021-08-06 12:43:30 +02:00
krangelov	87f1e24384	started a testsuite	2021-08-05 20:45:08 +02:00