195 commits

Author	SHA1	Message	Date
Folkert	7f83d9d3a0	fix mono tests, again	2020-11-25 20:06:53 +01:00
Folkert	0d15f92f00	fix mono tests	2020-11-25 19:43:57 +01:00
Folkert	1e4f0e8b07	correct alignment in records!	2020-11-24 21:28:53 +01:00
Richard Feldman	9de8ebe8e0	Fix test_mono	2020-11-23 00:33:56 -05:00
Folkert	51f54efcee	fix mono tests	2020-11-17 02:40:21 +01:00
Folkert	0dde6da77d	fix mono test	2020-11-14 03:00:20 +01:00
Folkert	859656f02d	fix mono tests	2020-11-13 23:24:13 +01:00
Folkert	70cba33fe4	fix bug in decision_tree	2020-11-13 01:39:39 +01:00
Folkert	bde82c3bb6	add Store constraint that does not report errors	2020-11-12 15:47:56 +01:00
Folkert	2d9f81ec9b	fix mono error	2020-11-09 00:22:16 +01:00
Folkert	2cf7a9fe42	fix tests	2020-11-03 20:13:38 +01:00
Folkert	212f8b4d50	change test runners to use new error reporting stuff	2020-11-03 19:36:02 +01:00
Folkert	09ad286123	remove unused function	2020-10-31 15:29:36 +01:00
Folkert	8b3b677439	remove aliases from Let and LetCon	2020-10-31 15:27:24 +01:00
Folkert	5017a456be	for now, allow work to be done twice ... the scheduler can request that the same file is parsed/canonicalized/etc twice we need to find a good solution so that no work is repeated	2020-10-30 21:57:54 +01:00
Folkert	58467d6515	get tests back up an running	2020-10-30 16:58:53 +01:00
Richard Feldman	b1d2e87401	Use assert_eq over assert	2020-10-28 20:33:42 -04:00
Richard Feldman	5a2ba77406	Drop redundant #[test] annotation	2020-10-25 21:45:34 -04:00
Richard Feldman	793a1462e9	Run more assertions in test_mono	2020-10-25 21:45:34 -04:00
Folkert	1953f563f7	add mono tests	2020-10-21 12:38:11 +02:00
Folkert	894f7de009	changes to closure parameter rank	2020-10-18 23:37:21 +02:00
Folkert	1708484eb5	fix mono tests	2020-10-17 02:39:44 +02:00
Folkert	defa408e83	clippy fixes	2020-10-17 00:40:01 +02:00
Folkert	40ffca2b7b	IT WORKS	2020-10-16 00:18:40 +02:00
Folkert	f6106166f1	fix bug with nested lets	2020-10-14 00:32:58 +02:00
Folkert	edc0717a7d	specialize rigids	2020-10-12 23:58:39 +02:00
Folkert	f857203673	Merge remote-tracking branch 'origin/trunk' into recursive-layouts	2020-09-07 16:53:15 +02:00
Folkert	85f290f9be	cleanup, and remove reset-reuse stuff for now	2020-09-07 16:50:05 +02:00
Folkert	4522fe14fc	fix recursion issue in type inference	2020-09-07 16:35:49 +02:00
Folkert	0a034c474a	fix test failures	2020-09-07 14:36:33 +02:00
Folkert	127dd06586	fix bug with optional record fields	2020-09-07 14:13:22 +02:00
Folkert	ceb938c9af	get tests working again	2020-09-06 00:26:41 +02:00
Folkert	f9cf4ea371	recursive tag unions	2020-08-31 14:29:09 +02:00
Folkert	020b6154f9	fix passing functions by name	2020-08-26 23:34:49 +02:00
Folkert	ba186bfe09	can store, but not load recursive fields	2020-08-22 16:01:04 +02:00
Folkert	f4e1aa046d	basic infrastruture for recursive layouts	2020-08-21 00:14:24 +02:00
Folkert	fa5e5ab201	back to a working version	2020-08-19 23:42:45 +02:00
Folkert	294273283b	make shared quicksort work	2020-08-15 00:14:20 +02:00
Folkert	d8c71c23f4	thread in borrow signature inference	2020-08-13 20:56:33 +02:00
Folkert	c52f866d8a	fix tests	2020-08-13 01:40:03 +02:00
Folkert	5ca843822f	implement optional fields in let bindings and when	2020-08-13 01:39:59 +02:00
Folkert	3e12f1a309	Merge remote-tracking branch 'origin/tail-call-elimination' into gen-optional-field	2020-08-13 00:21:21 +02:00
Folkert	b05e126d78	add more tests	2020-08-13 00:19:01 +02:00
Folkert	20ddbeb528	implement optional fields in function pattern matches	2020-08-13 00:09:57 +02:00
Folkert	380e34d296	Merge remote-tracking branch 'origin/trunk' into tail-call-elimination	2020-08-12 15:46:50 +02:00
Folkert	8c86836101	add TCE	2020-08-12 14:03:55 +02:00
Folkert	bdd8751107	start work on tail recursion	2020-08-12 12:57:20 +02:00
Folkert	2963c44cc6	change tests after branching improvements	2020-08-12 01:36:38 +02:00
Chad Stearns	29c0bfa65d	Use allocate_list in clone_nonempty_list	2020-08-11 19:01:18 -04:00
Folkert	7603225fca	generate return earlier, causing more TCE	2020-08-11 22:30:34 +02:00