8740 commits

Author	SHA1	Message	Date
Folkert	8a361bb68a	disable caching of builtin modules for now	2022-05-20 18:41:23 +02:00
Folkert	39c156b970	add our own custom unification table	2022-05-20 18:39:26 +02:00
Ayaz	eb706d2863	Merge pull request #3100 from rtfeldman/solve-copy-sequence ... use macro in copy_var to clean up logic	2022-05-20 08:50:42 -04:00
Folkert	9d21343227	use macro to clean logic up a bit	2022-05-20 10:29:41 +02:00
Ayaz	8c358332c8	Merge pull request #3093 from rtfeldman/derivable-abilities ... Typecheck deriving of abilities for types	2022-05-19 21:18:04 -04:00
Ayaz	e5eb9c9f1c	Merge pull request #3052 from rtfeldman/build-encode ... Encode/JSON in standard library typechecks	2022-05-19 21:16:59 -04:00
ayazhafiz	7a732c7d4a	Fix ability formatting	2022-05-19 18:30:36 -04:00
Ayaz Hafiz	c7dacb879c	Ignore derived for now	2022-05-19 18:29:31 -04:00
Ayaz Hafiz	e78b345ee0	Format has-derived clauses	2022-05-19 18:29:31 -04:00
Ayaz Hafiz	fcf464e9da	Parse has-derived clauses	2022-05-19 18:29:31 -04:00
Ayaz Hafiz	768121e431	Don't allocate for missing or existing members by default ... - Missing members are zero in the happy case - Existing members will always be populated in the happy case, but I don't think they improve the error message, so just get rid of it.	2022-05-19 18:25:42 -04:00
Ayaz Hafiz	b03e713b7f	Clippy	2022-05-19 18:23:03 -04:00
Ayaz Hafiz	95e325296f	Solve derived impls	2022-05-19 18:23:02 -04:00
Ayaz Hafiz	cf56b5015a	Fix existing reporting tests	2022-05-19 18:23:02 -04:00
Ayaz Hafiz	2c87214b44	Check derivability of abilities for structural types	2022-05-19 18:23:02 -04:00
Ayaz Hafiz	0e63efdf09	Scaffold tests	2022-05-19 18:23:02 -04:00
Ayaz Hafiz	bb0777c3c8	Revert "Add a content visitor" ... This reverts commit 70b923e3fe8307275f6a0de422e6d35d91afb1eb.	2022-05-19 18:23:02 -04:00
Ayaz Hafiz	83a8d360c1	Add a content visitor	2022-05-19 18:23:02 -04:00
Ayaz Hafiz	d499c06678	Remove unused function	2022-05-19 18:23:01 -04:00
Ayaz Hafiz	4dede6e570	Simplify instantiate aliases	2022-05-19 18:21:45 -04:00
Ayaz Hafiz	935ae50dd4	Format Encode	2022-05-19 18:21:45 -04:00
Ayaz Hafiz	0c5e903d2a	Make spaces before ability are recorded	2022-05-19 18:21:45 -04:00
ayazhafiz	b1d46d87ae	Fix ability formatting	2022-05-19 18:21:44 -04:00
ayazhafiz	355b573695	Format Json	2022-05-19 18:21:44 -04:00
ayazhafiz	6f51eb09dd	Don't expose specializations to host	2022-05-19 18:21:44 -04:00
Ayaz Hafiz	253cca63ea	Add solve test	2022-05-19 18:21:43 -04:00
Ayaz Hafiz	6d19f31574	Remove mono-related changes for now	2022-05-19 18:21:43 -04:00
Ayaz Hafiz	3f4336d15a	Save ability specializations ... Unfortunately not enough...	2022-05-19 18:21:42 -04:00
Ayaz Hafiz	f8cf18b10e	Remove ExposedModuleTypes::Invalid	2022-05-19 18:21:42 -04:00
Ayaz Hafiz	1beb0551cb	Expose ability names	2022-05-19 18:21:42 -04:00
Ayaz Hafiz	95395ffc5f	Remove debugs	2022-05-19 18:21:41 -04:00
Ayaz Hafiz	ce6ef38477	Clippy	2022-05-19 18:21:41 -04:00
Ayaz Hafiz	f1e09fbe78	Pass ability specializations back down	2022-05-19 18:21:41 -04:00
Ayaz Hafiz	3c49c187ba	Encode symbols	2022-05-19 18:21:41 -04:00
Ayaz Hafiz	28d6f30cc7	Fix type errors	2022-05-19 18:21:40 -04:00
Ayaz Hafiz	0f4be93e44	Add JSON builtin, pass along solved specializations per module	2022-05-19 18:21:40 -04:00
Ayaz Hafiz	312cdd0b70	Correct imports of Encode and abilities across modules	2022-05-19 18:21:40 -04:00
Ayaz Hafiz	47c9959786	Cleanup JSON module	2022-05-19 18:21:39 -04:00
Ayaz Hafiz	fa14d0d746	Scaffold JSON	2022-05-19 18:21:39 -04:00
Ayaz Hafiz	8119dc25ff	Scaffold Encode module	2022-05-19 18:21:39 -04:00
Ayaz Hafiz	921f95a5b6	Ability docs	2022-05-19 18:21:38 -04:00
Richard Feldman	1047c5635a	Merge remote-tracking branch 'origin/trunk' into test-bindgen	2022-05-19 14:10:53 -04:00
Sean Hagstrom	08777434b6	formatter: support removing blank lines between all when branches in when expressions	2022-05-19 09:26:04 +01:00
Sean Hagstrom	802422e6f4	formatter: support removing blank lines between when branches if all branches are single line	2022-05-19 09:07:31 +01:00
Sean Hagstrom	7def844302	formatter: support allowing single line value expressions in when expressions	2022-05-19 09:07:30 +01:00
Sean Hagstrom	1f98691929	formatter: refactor code for formatting when expressions	2022-05-19 09:07:30 +01:00
Ayaz	1c43bbee47	Merge pull request #3092 from rtfeldman/i3091 ... Turn on formatting tests for stdlib	2022-05-18 21:41:56 -04:00
Richard Feldman	0f3709da6f	Merge pull request #3090 from rtfeldman/expr-blank	2022-05-18 21:25:07 -04:00
Ayaz Hafiz	50769b81e6	Format other stdlib modules	2022-05-18 15:40:02 -04:00
Ayaz Hafiz	f2eb87a524	Format Dict	2022-05-18 15:32:36 -04:00