168 commits

Author	SHA1	Message	Date
Folkert	6ecb3b36d0	cleanup based on review	2020-10-31 15:57:15 +01:00
Folkert	4bd723b353	remove more unneeded alias things	2020-10-31 15:33:43 +01:00
Folkert	09ad286123	remove unused function	2020-10-31 15:29:36 +01:00
Folkert	9e981c264e	fix clippy issues	2020-10-30 22:28:55 +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	247071668e	import aliases and put them in the scope	2020-10-30 19:59:09 +01:00
Folkert	58467d6515	get tests back up an running	2020-10-30 16:58:53 +01:00
Folkert	dd4609fe79	remove unused function	2020-10-30 01:53:11 +01:00
Folkert	b3c0fa63d3	remove unneeded argument	2020-10-29 22:34:12 +01:00
Folkert	b75880bed2	expand aliases before/during canonicalization	2020-10-29 22:33:18 +01:00
Folkert	a0c8915678	Merge remote-tracking branch 'origin/trunk' into fix-alias-inference	2020-10-29 14:40:55 +01:00
Folkert	ee23e5979d	pass argument by reference	2020-10-29 00:35:10 +01:00
Folkert	047746c716	use only references (no Vec) in canonical AST	2020-10-29 00:12:44 +01:00
Folkert	9b37a1140c	get things up and running again	2020-10-26 01:34:56 +01:00
Folkert	a2938440fa	fix borrow checker things	2020-10-26 01:08:02 +01:00
Folkert	93a1baad1d	use only references (no Vec) in canonical AST	2020-10-26 01:03:33 +01:00
Folkert	b91a76bb5c	canonicalization	2020-10-26 00:43:50 +01:00
Folkert	4ef096abf6	first steps for parsing	2020-10-25 23:37:29 +01:00
Folkert	fff0c37e40	add new canonicalize phase	2020-10-25 22:58:38 +01:00
Richard Feldman	6b183b1bcc	Handle builtin defs in canonicalize_module_defs	2020-10-25 01:42:10 -04:00
Folkert	7bff0b50c6	remove now unneeded code	2020-10-21 15:49:20 +02:00
Folkert	432dbee422	switch docs to use the standard file load mechanism	2020-10-21 15:43:56 +02:00
Richard Feldman	db2d99f56d	Merge branch 'trunk' into platform	2020-10-18 23:59:44 -04:00
Richard Feldman	dfa61b4c18	Parse platform headers	2020-10-18 23:55:49 -04:00
Folkert	896090642f	add assertion	2020-10-18 20:11:33 +02:00
Folkert	496580c869	remove commented code	2020-10-17 21:59:00 +02:00
Folkert	607799b96e	steps towards closures and Effects	2020-10-17 20:53:57 +02:00
Folkert	edfc96628e	WIP	2020-10-17 14:53:57 +02:00
Folkert	defa408e83	clippy fixes	2020-10-17 00:40:01 +02:00
Folkert	752a40a23c	fix or ignore gen tests	2020-10-16 21:19:25 +02:00
Folkert	d931c8994a	fix most type inference issues	2020-10-16 20:50:42 +02:00
Folkert	40ffca2b7b	IT WORKS	2020-10-16 00:18:40 +02:00
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