989 commits

Author	SHA1	Message	Date
Richard Feldman	bcb67b0dea	Appease clippy	2020-07-22 19:33:36 -04:00
Richard Feldman	fddc7f31db	Fix an annotation formatting regression	2020-07-22 19:33:36 -04:00
Richard Feldman	62290b5cc2	Reporting for optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	2f50c0494b	Monomorphize optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	28a2f9656e	Constrain optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	872f4b3541	Add some solving tests for optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	fdceedda00	Fix unifying optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	49e66491ad	Fix a parse test	2020-07-22 19:33:36 -04:00
Richard Feldman	4e2cd3fefc	Solve optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	a11b7ab4f5	Constrain uniquness for optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	71ef37923a	Constrain optional record fields	2020-07-22 19:33:36 -04:00
Richard Feldman	b6f8143d4c	Canonicalize optional record fields	2020-07-22 19:33:36 -04:00
Richard Feldman	1229b0ea5f	Unify optional fields	2020-07-22 19:33:36 -04:00
Richard Feldman	43bca05cdb	Change guard to DestructType	2020-07-22 19:33:36 -04:00
Richard Feldman	c9883be8a2	Introduce optional record fields	2020-07-22 19:33:36 -04:00
Richard Feldman	1ecb795b96	Revert "Fix list length calculation" ... This reverts commit 3e61b6d165.	2020-07-18 23:41:15 -04:00
Richard Feldman	3e61b6d165	Fix list length calculation	2020-07-18 23:02:41 -04:00
Chad Stearns	6160a2b2f1	Moved first list empty case closer to where it is used	2020-07-18 22:14:09 -04:00
Chad Stearns	cb92b477ea	Reverted fancy closure organization in List.append	2020-07-18 21:50:03 -04:00
Chadtech	36a259b56b	Merge branch 'trunk' into list-append	2020-07-18 21:30:51 -04:00
Chad Stearns	5b80bc0ae3	Use correct error messages for unreachable layouts	2020-07-18 21:30:24 -04:00
Chad Stearns	bc1c676be4	Fix english errors in documentation	2020-07-18 21:30:07 -04:00
Chad Stearns	04198c8895	Revert use of closure for if_first_list_is_empty due to memory problem	2020-07-18 21:24:19 -04:00
Chad Stearns	dc6f0daeef	Organized list append code into named closures	2020-07-18 21:06:00 -04:00
Chad Stearns	9881c91e1f	Pull some shared variables higher up	2020-07-18 17:37:19 -04:00
Chad Stearns	a37f6d670b	Re-implement loop on second input list to List.append, except use an offset pointer instead of doing second_index + first_list_len arithemtic, which is more performant	2020-07-18 14:43:06 -04:00
Chad Stearns	74bd85afaa	Remove phi1 helper	2020-07-18 14:42:11 -04:00
Richard Feldman	e37d53aff0	Merge branch 'trunk' into usage-analysis-improvements	2020-07-17 20:37:00 -04:00
Richard Feldman	f39b194d45	Update tests for new pattern regions	2020-07-17 19:49:27 -04:00
Richard Feldman	152e06186b	Reserved keywords can't be patterns	2020-07-17 19:49:27 -04:00
Richard Feldman	ef010d4dec	Fix parsing bug for malformed when-branches	2020-07-17 19:49:27 -04:00
Richard Feldman	6855c85002	Reproduce parsing bug with bad when-branches	2020-07-17 19:33:27 -04:00
Folkert	d27dcceef2	use index-based approach for Apply	2020-07-18 01:23:35 +02:00
Folkert	25329ad672	get rid of Container	2020-07-18 00:57:27 +02:00
Folkert	ce8bcbb5ed	introduce Record and Apply Update and Access	2020-07-18 00:52:22 +02:00
Folkert	6e7ec8cd2c	fix other test failures	2020-07-18 00:18:55 +02:00
Folkert	706a2f3986	Merge remote-tracking branch 'origin/trunk' into report-record-update	2020-07-17 23:51:37 +02:00
Folkert	0459572940	use different mechanism to special-case builtins in usage analysis ... this will be extendible to user-defined functions	2020-07-17 23:50:33 +02:00
Folkert	88ca25e7ee	move get_shared function to collections	2020-07-17 23:49:43 +02:00
Richard Feldman	ad3c4207ba	Expand on some comments	2020-07-16 21:11:57 -04:00
Richard Feldman	3d9dba251e	Fix new Rust 1.45 clippy warning	2020-07-16 19:48:58 -04:00
Richard Feldman	2925706570	Merge branch 'trunk' into fix-quicksort	2020-07-16 19:46:19 -04:00
Richard Feldman	9c6b6f7e25	Silence a few clippy warnings ... The map_entry one is important; it seems there's no way to write this using entry where it's actually correct.	2020-07-16 19:30:30 -04:00
Richard Feldman	153eb4f804	Follow clippy's advice	2020-07-16 19:28:38 -04:00
Richard Feldman	2babe67998	Fix stack overflow in monomorphization	2020-07-16 19:28:25 -04:00
Richard Feldman	fb8ff03670	Clarify a comment	2020-07-15 20:58:50 -04:00
Richard Feldman	fcdb300a03	Improve runtime error message	2020-07-15 20:58:36 -04:00
Richard Feldman	730755a951	Only push pattern_vars when pushing args	2020-07-15 20:58:18 -04:00
Richard Feldman	bd8480284f	Report the first runtime error among multiple	2020-07-15 20:57:46 -04:00
Chad Stearns	c9869e67c1	Regress to functional first loop, and no second loop	2020-07-14 22:05:55 -04:00