1536 Commits

Author	SHA1	Message	Date
Folkert	02a396d08a	use fast calling convention	2020-10-15 01:46:28 +02:00
Folkert	729e16cad9	clippy	2020-10-14 21:42:22 +02:00
Folkert	31e963fad6	make sure that the jit is linked in when running the repl	2020-10-14 21:30:35 +02:00
Folkert	ba99b96164	add repl test for type error	2020-10-14 20:53:19 +02:00
Folkert	ceccebd235	fix repl error reporting	2020-10-14 18:15:08 +02:00
Folkert	cb9ce5e8d7	use modules in the repl	2020-10-14 17:48:56 +02:00
Folkert	b3e3eb24a8	missed a thing	2020-10-14 17:07:19 +02:00
Folkert	106024b4bb	fix bug converting recursive tag union to solved type	2020-10-14 16:57:43 +02:00
Folkert	62ed1508d5	fix mistake in tests ... no idea why this passed before, it clearly shouldn't	2020-10-14 16:37:53 +02:00
Folkert	8338296da2	add top-level thunks to the scope everywhere	2020-10-14 15:03:41 +02:00
Folkert	07e29eb34c	initial implementation	2020-10-14 14:43:59 +02:00
Folkert	f07fe1879b	fix problem with specializing rigids	2020-10-14 02:21:33 +02:00
Folkert	6aaba98d31	enable recursive definitions at the top-level	2020-10-14 01:08:20 +02:00
Folkert	2da2c25d32	research bug with linked list and uniqueness	2020-10-14 00:49:14 +02:00
Folkert	f6106166f1	fix bug with nested lets	2020-10-14 00:32:58 +02:00
Folkert	89a1146c19	run gen tests as modules	2020-10-13 21:45:41 +02:00
Folkert	2bceaf0503	implement LayoutCache on top of ena	2020-10-13 16:10:38 +02:00
Folkert de Vries	d9827ae467	Merge branch 'trunk' into improve-dependency-solving	2020-10-13 00:55:19 +02:00
Richard Feldman	a7da54516a	Cast i64 to f64 instead of using builtin bitcode	2020-10-12 17:59:20 -04:00
Folkert	edc0717a7d	specialize rigids	2020-10-12 23:58:39 +02:00
Folkert	973a632c25	add helper that instantiates rigids to flex vars	2020-10-12 23:52:41 +02:00
Folkert	30ff471a1b	appease clippy	2020-10-12 22:19:13 +02:00
Folkert	2df86b6438	fix uniqueness bug ... builtin defs were included twice, which threw off uniqueness inference	2020-10-12 22:16:10 +02:00
Folkert	78d1a01742	hopefully fix race condition bug	2020-10-12 20:26:11 +02:00
Richard Feldman	a3d81108c3	Merge branch 'trunk' into improve-dependency-solving	2020-10-12 10:23:53 -04:00
Folkert	9ad72d4979	fix unreported clippy warnings	2020-10-12 16:22:19 +02:00
Folkert	2e8499f92c	fix unused import bug	2020-10-12 16:12:27 +02:00
Folkert	27cdcffec0	Merge remote-tracking branch 'origin/trunk' into improve-dependency-solving	2020-10-12 16:10:25 +02:00
Richard Feldman	2758c7f04c	Always use a minimum of 1 worker	2020-10-12 09:33:11 -04:00
Folkert	06bc187f8b	all tests passing + clippy satisfied	2020-10-12 01:42:03 +02:00
Brendan Hansknecht	b88f3674bb	Add dynamic path for libgcc	2020-10-11 16:09:40 -07:00
Brendan Hansknecht	6e130d51bc	Make link paths generic and add libgcc_s	2020-10-11 14:31:42 -07: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	1cd8b21670	ugh clippy	2020-10-10 20:30:33 -04:00
Folkert	fb82897e3d	fix new clippy warnings	2020-10-10 20:30:33 -04:00
Richard Feldman	1c49a95e64	parse_and_constrain doesn't need to own module_ids	2020-10-10 20:30:33 -04:00
Richard Feldman	b8eff12767	Use parking_lot::Mutex	2020-10-10 20:30:33 -04: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	5c558a9a87	get it up and running	2020-10-10 22:35:38 +02:00
Folkert	d8a0760726	hook up finding specializations	2020-10-10 21:02:31 +02:00
Folkert	8eec622d23	move over code that tries to do the full specialization process in parallel	2020-10-10 20:40:55 +02:00
Folkert	37e0523557	preparations for specializing	2020-10-10 20:28:46 +02:00
Folkert	03d9a8821b	ugh clippy	2020-10-10 20:11:26 +02:00
Folkert	d346482b76	fix new clippy warnings	2020-10-10 19:59:58 +02:00
Folkert	7963843b9c	cleanup	2020-10-10 19:39:33 +02:00
Folkert	085c5f54de	use a Dependencies struct to track what the dependencies between modules are and when they are met	2020-10-10 19:29:10 +02:00
Richard Feldman	aab8e41d7c	Clean up some dead comments	2020-10-07 22:21:36 -04:00
Folkert	3f4ec2068e	weird clippy quirk	2020-10-08 01:53:02 +02:00