136 Commits

Author	SHA1	Message	Date
Folkert	7f1dd80392	hook up size inference, WIP	2020-10-14 22:55:25 +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	6aaba98d31	enable recursive definitions at the top-level	2020-10-14 01:08:20 +02:00
Folkert	89a1146c19	run gen tests as modules	2020-10-13 21:45:41 +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	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
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
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	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	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
Folkert	518f45222a	all things clippy	2020-10-08 01:32:47 +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	f16e17823e	fix load tests	2020-10-07 23:25:47 +02:00
Folkert	6976682783	solving some compile errors	2020-10-07 21:28:42 +02:00
Pablo Hirafuji	ebdeecd5d2	Run cargo fmt [2]	2020-09-27 20:59:31 -03:00
Pablo Hirafuji	0c0f70aba0	Add more docs files and check def exposition	2020-09-27 20:41:51 -03:00
Pablo Hirafuji	aed612a75c	Load docs from files	2020-09-27 19:40:54 -03:00
Richard Feldman	5b27e10095	Reproduce empty string parsing bug	2020-08-31 23:13:50 -04:00
Richard Feldman	51c0180f45	Don't have formatter print parens in field types	2020-08-24 00:02:59 -04:00
Richard Feldman	295cb00499	wip	2020-08-12 23:18:40 -04:00
Folkert	84a8b69437	generate IR that uses uniqueness	2020-08-11 14:47:14 +02:00
Folkert	4de573b54b	use quicksort without closure for loading ... the old version worked, but won't run yet because it uses a closure	2020-08-10 20:54:05 +02:00
Richard Feldman	5f73a0b7ca	Add builtin defs in load::file	2020-08-09 21:27:39 -04:00
Richard Feldman	beaa0ed6e1	Drop unnecessary Arc	2020-08-07 22:27:38 -04:00
Richard Feldman	15d8e06a44	Don't blow up on module timings if there was an error	2020-08-03 23:58:59 -04:00
Richard Feldman	62fdae8b45	Don't send separate start_time arg	2020-08-03 23:16:46 -04:00
Richard Feldman	7f1e666ad3	Add some basic timings	2020-08-03 22:46:14 -04:00
Richard Feldman	656dd18177	clippy	2020-08-03 20:55:16 -04:00
Richard Feldman	6ba54c986f	Fix interning bug with exposed symbols	2020-08-03 20:48:53 -04:00
Richard Feldman	87630e1d69	Fix test_uniq_load	2020-08-02 21:48:37 -04:00
Richard Feldman	cb843c37e7	Get tests compiling again	2020-08-02 21:00:33 -04:00
Richard Feldman	62459d0f1f	Drop SharedModules concept	2020-08-02 20:58:51 -04:00
Richard Feldman	406087970b	Get load::file compiling.	2020-08-02 20:53:38 -04:00
Richard Feldman	8434af4e63	Use worker_arenas in load::file	2020-08-02 12:24:52 -04:00
Richard Feldman	54b5e28206	Revert "Attempt" ... This reverts commit b963e0e502.	2020-08-02 11:54:08 -04:00