8349 commits

Author	SHA1	Message	Date
Folkert de Vries	e86fd9e879	Merge pull request #3002 from rtfeldman/fix-debug-flags ... Debug flags fixes	2022-05-05 22:36:45 +02:00
Richard Feldman	8ac1dfac1a	Revert "Thread through symbols_from_requires" ... This reverts commit 1421aebcd3.	2022-05-05 16:19:34 -04:00
Richard Feldman	1421aebcd3	Thread through symbols_from_requires	2022-05-05 16:18:47 -04:00
Richard Feldman	59023d2a88	Add VecSet::insert_all	2022-05-05 16:18:38 -04:00
Richard Feldman	e6a72578c1	Add Annotation::add_to	2022-05-05 16:17:49 -04:00
Ayaz	077c5dc1bd	Merge branch 'trunk' into fix-debug-flags	2022-05-05 14:54:39 -04:00
Folkert de Vries	593d634455	Merge pull request #2956 from rtfeldman/def-specialization-for-polymorphic-expressions ... Polymorphic specialization of defs, at the def site	2022-05-05 20:40:24 +02:00
Ayaz	8bcd64d502	Merge pull request #2999 from rtfeldman/symbol-nonzero-u32 ... Symbol nonzero u32	2022-05-05 13:29:40 -04:00
Ayaz Hafiz	a760510be0	Consolidate and improve debug_flags	2022-05-05 12:06:16 -04:00
Folkert	76fb5308e7	update wasm type size asserts	2022-05-05 17:57:02 +02:00
Ayaz Hafiz	be55398d3c	Revert solve changes	2022-05-05 11:52:41 -04:00
Ayaz Hafiz	674ec3beae	Verify layouts of extracted specialization symbols	2022-05-05 11:46:29 -04:00
Ayaz Hafiz	8228df55c7	Remove resolved stopgap	2022-05-05 11:28:26 -04:00
Ayaz Hafiz	8f593480e5	Simplify specialize_naked_symbol with value variables	2022-05-05 11:23:47 -04:00
Ayaz Hafiz	8d6b86efc7	Minor cleanup	2022-05-05 11:20:23 -04:00
Ayaz Hafiz	a1eb65b169	Debug assert needed specializations are empty after leaving mono	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	19e8b37402	Bugfix handle more specialization instances	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	de924de266	Fix test name typo	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	143b0f61a8	Add a couple tests	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	bf91e151e8	Lift reuse_symbol_or_specialize	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	c79298ea8e	Fix test_gen diffs	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	2b82de1e3f	Fix refcount tests	2022-05-05 11:13:42 -04:00
Ayaz Hafiz	767d76ce02	Turn off flapping test	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	5cef7136db	Correctly ignore ignored mono tests	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	087782f3d0	Closure captures may take on specialized names	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	bc987fd4d7	All of test_gen works again	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	3c2dd488a5	One step forward, two steps back	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	b05874924f	Clippy	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	5624c492da	Almost there... only breakout is bad now	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	55d924ca8b	Get rid of dbgs	2022-05-05 11:13:41 -04:00
Ayaz Hafiz	b41995c213	Ignore failing polymorphic closure test	2022-05-05 11:13:40 -04:00
Ayaz Hafiz	1b90f45c9d	Sorry copy tests	2022-05-05 11:13:40 -04:00
Ayaz Hafiz	f4b7ea245c	Always specialize reuse symbol	2022-05-05 11:13:40 -04:00
Ayaz Hafiz	c070bfed8b	Little bit of cleanup	2022-05-05 11:13:40 -04:00
Ayaz Hafiz	261df36c50	Polymorphic expression specialization works in gen tests	2022-05-05 11:13:40 -04:00
Ayaz Hafiz	f21ce43e30	Copy Expr	2022-05-05 11:13:40 -04:00
Ayaz Hafiz	79e11547be	Add some copy tests	2022-05-05 11:13:40 -04:00
ayazhafiz	480b84bec1	Cloning references in a variable may end up cloning the variable itself	2022-05-05 11:13:40 -04:00
Ayaz Hafiz	9bc6bb3664	Deep copy type variables	2022-05-05 11:13:39 -04:00
Ayaz Hafiz	7182180622	Pass 1 of polymorphic specialization of defs	2022-05-05 11:13:39 -04:00
Richard Feldman	7da8e9aedd	Merge pull request #3000 from rtfeldman/roc-check-platforms ... Support `roc check` on platforms	2022-05-05 08:42:37 -04:00
Anton-4	f3493850bb	Merge pull request #2983 from rtfeldman/wasi-libc-sys ... Build WASI libc using Zig, instead of using a checked-in binary	2022-05-05 09:40:46 +02:00
Richard Feldman	739e249a44	Allow roc check on Package-Config.roc	2022-05-04 21:36:48 -04:00
Richard Feldman	0f1e1d7659	Don't pass around an unnecessary Env	2022-05-04 21:36:47 -04:00
Brian Carroll	58dc7a9635	Make wasi_libc_sys a required dependency of roc_build to fix repl_test	2022-05-04 22:33:07 +01:00
Folkert	08fdd0781e	use NonZeroU32 for ModuleId	2022-05-04 23:11:14 +02:00
Folkert	9854f068d9	change the internal representation of Symbol to two u32's	2022-05-04 22:57:49 +02:00
Folkert	d57d9cc87a	use module_const over module_id	2022-05-04 22:42:31 +02:00
Ayaz Hafiz	4304c2c2f0	Correct output type of flapping test ... The Roc program in this test returns a U8, but the tested type is marked as a U16, so it's possible we were just picking up garbage bytes. Closes #2997	2022-05-04 12:49:07 -04:00
Brian Carroll	fd9a92927b	Clean up a stray underscore	2022-05-03 19:13:32 +01:00