124 commits

Author	SHA1	Message	Date
Folkert	cf80e2852f	add test for transitive alias import	2020-11-11 01:20:30 +01:00
Folkert	dfd316c062	comment memory-leaking test	2020-11-07 00:48:43 +01:00
Folkert	cb1dff1baf	cleanup	2020-11-07 00:09:45 +01:00
Folkert	7a8e9fe343	special hash and dedup for SolvedType	2020-11-06 23:12:47 +01:00
Folkert	eae797a47a	introduce ForeignSymbol wrapper	2020-11-05 23:43:32 +01:00
Folkert	3cd132dd51	introduce foreign call	2020-11-05 23:35:56 +01:00
Folkert	2acbfa91f1	remove def_symbol field	2020-11-04 14:59:41 +01:00
Folkert	c09b66a9cc	add HostExposedAlias	2020-11-04 13:19:57 +01:00
Folkert	40bf9be1e2	fix bugs exposed by reporting tests	2020-10-30 22:15:28 +01:00
Folkert	c6633ece7c	cleanup unused code	2020-10-30 00:38:00 +01:00
Folkert	33ac8f6892	refactor some things	2020-10-29 22:31:47 +01:00
Folkert	2478ae05b1	expand aliases from the very beginning	2020-10-29 22:30:54 +01:00
Folkert	ef1cee6c41	HUGE WIP	2020-10-28 01:13:04 +01:00
Folkert	5fbcfe18d3	new recvar design	2020-10-26 16:16:01 +01:00
Folkert	7d2cc3aac2	WIP	2020-10-25 22:16:27 +01:00
Folkert	20480222ee	use in-place mutation when changing variable descriptor contents	2020-10-25 19:21:26 +01:00
Folkert	f13c28fe7f	collect and instantiate hidden variables	2020-10-25 19:11:03 +01:00
Folkert	2c55fa5ec5	clippy	2020-10-24 21:23:55 +02:00
Folkert	9d2a4a7d39	move SolvedType -> Type conversion to solved_types.rs	2020-10-24 01:17:51 +02:00
Folkert	6c79048f9b	improve closure pretty printing	2020-10-18 20:12:53 +02:00
Folkert	1439c1a21d	clippy complaints	2020-10-17 22:37:15 +02:00
Folkert	ca2efc27bd	Merge remote-tracking branch 'origin/trunk' into sized-functions-inference	2020-10-15 14:34:32 +02:00
Richard Feldman	56e600d988	Merge branch 'trunk' into top-level-thunks	2020-10-14 21:00:51 -04:00
Folkert	ed592d3d10	refactor solve_module	2020-10-14 22:28:53 +02:00
Folkert	de8ad07f2e	Merge branch 'top-level-thunks' into sized-functions-inference	2020-10-14 21:58:53 +02:00
Folkert	729e16cad9	clippy	2020-10-14 21:42:22 +02:00
Folkert	106024b4bb	fix bug converting recursive tag union to solved type	2020-10-14 16:57:43 +02:00
Brendan Hansknecht	eb7e39bf7b	Make clippy happy	2020-10-13 20:26:00 -07:00
Folkert	06bc187f8b	all tests passing + clippy satisfied	2020-10-12 01:42:03 +02:00
Folkert	40f0588696	back to a working state	2020-10-11 21:55:26 +02:00
Folkert	5b14dc73f6	allow multiple external specializations per symbol	2020-10-11 15:25:15 +02:00
Folkert	4f9b27b694	sketch of a proof of concept	2020-10-11 01:54:50 +02:00
Folkert	79d3b0ac01	cross module specialization WIP	2020-10-11 01:23:52 +02:00
Folkert	d346482b76	fix new clippy warnings	2020-10-10 19:59:58 +02:00
Folkert	c7b251d6b4	Merge remote-tracking branch 'origin/trunk' into gen-modules	2020-10-08 01:29:32 +02:00
Folkert	768dbbc553	all tests passing	2020-10-08 00:53:06 +02:00
Folkert	e9f5c1a73c	actually infer the size	2020-10-02 22:33:31 +02:00
Folkert	c00cd2f415	hook everything up in the gen tests	2020-10-02 21:04:42 +02:00
Folkert	05d1f28e83	add logic to generate/solve closure size constraints	2020-10-02 20:46:47 +02:00
Folkert	a0c6952258	fix problem in uniqueness inference	2020-10-02 01:08:37 +02:00
Folkert	2e1e87ad6a	add closure size variable	2020-10-02 00:53:02 +02:00
Sébastien Besnier	f319fdad79	Tag with no args in error msgs (#471)	2020-09-05 08:42:40 +02:00
Richard Feldman	274e7e786d	Constrain string interpolation	2020-08-31 23:13:50 -04:00
Richard Feldman	3c8c41c145	Clipster	2020-08-24 00:03:12 -04:00
Richard Feldman	181cf10d2c	Replace TagName::into_string with as_string	2020-08-24 00:03:12 -04:00
Richard Feldman	c5f5bb1bef	Use sorted field names for printing records	2020-08-24 00:03:12 -04:00
Richard Feldman	51c0180f45	Don't have formatter print parens in field types	2020-08-24 00:02:59 -04:00
Folkert	b45b39af5e	optional fields improvements	2020-07-21 15:25:21 +02:00
Folkert	e93c04a8ce	improved error messages for function definitions	2020-07-20 21:38:21 +02:00
Richard Feldman	7330e82f75	Constrain optional fields	2020-07-18 14:51:18 -04:00