177 commits

Author	SHA1	Message	Date
Folkert	6a51ba70c2	Merge remote-tracking branch 'origin/trunk' into track-exposed-rigids-aliases	2020-11-04 13:22:45 +01:00
Folkert	c09b66a9cc	add HostExposedAlias	2020-11-04 13:19:57 +01:00
Folkert	d19223dfb3	add VariableSizedTypes struct	2020-11-04 00:03:14 +01:00
Folkert	212f8b4d50	change test runners to use new error reporting stuff	2020-11-03 19:36:02 +01:00
Folkert	e565abd411	remove passing of src	2020-11-03 17:13:44 +01:00
Folkert	c47e3d7649	remove FinishedInfo	2020-11-03 17:11:13 +01:00
Folkert	af0600dc25	report errors per-module	2020-11-03 16:59:37 +01:00
Richard Feldman	2f2e67059b	Merge branch 'trunk' into fuzz	2020-11-01 08:57:19 -05:00
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
Brendan Hansknecht	d00189530a	Add fuzzing to the parser. ... As part of this, todos and panics where moved outside of this module to elsewhere when they would cause fuzzing to fail.	2020-10-30 22:04:54 -07: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