9137 commits

Author	SHA1	Message	Date
Brian Carroll	b40a73ddcb	Clippy	2022-06-18 07:27:44 +01:00
Brian Carroll	f1cadbcc05	Merge branch 'trunk' of github.com:rtfeldman/roc into wasm-linking-test-improvements	2022-06-17 23:20:05 +01:00
Brian Carroll	ba7f336e53	wasm: Fix linking bug in calls from Roc to JS	2022-06-17 23:18:18 +01:00
Brian Carroll	40f2baa373	wasm: remove duplicate code in tests, for .wasm file dump	2022-06-17 22:04:59 +01:00
Brian Carroll	e416b70e08	wasm: fix double-counting of host-to-app linking dummies	2022-06-17 22:04:18 +01:00
Richard Feldman	10033c9bc0	Merge pull request #3253 from rtfeldman/encoding-deriver-immediates ... Support immediates and optional record fields for derived encoders	2022-06-17 14:29:43 -04:00
Richard Feldman	962e08b10d	Merge pull request #3234 from rtfeldman/toplevel-expect ... toplevel expect	2022-06-17 10:06:22 -04:00
Folkert de Vries	8bb85d275e	Merge pull request #3197 from rtfeldman/subs-cleanup ... subs cleanup	2022-06-17 15:59:24 +02:00
Folkert de Vries	bf1a996f7e	Merge pull request #3235 from rtfeldman/exposed_symbol_name_helper ... Create `to_exposed_symbol_string` helper function for all backends	2022-06-17 15:57:06 +02:00
Ayaz Hafiz	ef5dee14f7	Make sure that required and optional fields are treated the same for encoding	2022-06-17 09:21:26 -04:00
Ayaz Hafiz	370b85ed63	Add support for immediates, and check strict equality	2022-06-17 09:21:22 -04:00
Folkert de Vries	3f5edaff4c	Merge pull request #3233 from rtfeldman/fix-timings ... Print timings across make specialization passes	2022-06-17 13:39:20 +02:00
Folkert de Vries	375f29691a	add missing case in test	2022-06-17 13:33:56 +02:00
Brian Carroll	7f47bd8ced	wasm: better comment for call_indirect DCE	2022-06-17 08:18:24 +01:00
Brian Carroll	c287bc5294	wasm: refactor linking test and save Wasm bytes to disk on error	2022-06-17 07:52:51 +01:00
Brian Carroll	c12098bffd	wasm: create NameSection::from_imports_and_linking_data	2022-06-17 07:51:07 +01:00
Folkert	5371f057be	fix empty expect being added	2022-06-16 21:38:12 +02:00
Ayaz Hafiz	51e1b9b30c	Add recursive tag union test	2022-06-15 22:11:35 -04:00
Ayaz Hafiz	c94c02ae3d	Make debug printing prettier	2022-06-15 22:08:30 -04:00
Ayaz Hafiz	74d498d762	Add more tag union deriving tests	2022-06-15 20:43:49 -04:00
Ayaz Hafiz	8cb6121fc3	Exhaustive and redundant marks don't need to be introduced ... They are never generalized	2022-06-15 20:37:49 -04:00
Brian Carroll	3d8d184901	wasm: fix some out-of-bounds errors in DCE	2022-06-16 00:27:51 +01:00
Brian Carroll	328eaaa861	wasm: link host-to-app calls after creating the name section rather than before	2022-06-16 00:27:10 +01:00
Brian Carroll	6452961ea4	wasm: Don't crash if debug names are missing	2022-06-16 00:24:09 +01:00
Brian Carroll	2828aeeb6c	wasm: choose a more debuggable calculation for the linking test app	2022-06-16 00:21:11 +01:00
Ayaz Hafiz	ef350e4aed	Add tests for tag union toEncoder derivers	2022-06-15 18:01:18 -04:00
Ayaz Hafiz	178850462e	Pass at tag union toEncoder deriver	2022-06-15 17:52:29 -04:00
Brian Carroll	0fef1e1576	Create to_exposed_symbol_string helper function for all backends	2022-06-15 22:30:10 +01:00
Folkert	f7246d2774	typecheck toplevel expects	2022-06-15 23:15:43 +02:00
Folkert	0dac546aba	canonicalize toplevel expect	2022-06-15 22:53:16 +02:00
Ayaz Hafiz	5c1f003242	Call it derive keying	2022-06-15 16:32:43 -04:00
Brian Carroll	6e30811b0c	wasm: use a BitVec for called host functions	2022-06-15 21:31:10 +01:00
Brian Carroll	52f209b2f9	wasm: in linking test, compare wasm result to native result	2022-06-15 21:16:00 +01:00
Brian Carroll	01a0c1775e	wasm: add a zig file to calculate expected test result	2022-06-15 20:20:55 +01:00
Brian Carroll	c1aa9f229a	wasm: move linking tests to test_gen and execute the module	2022-06-15 20:20:55 +01:00
Brian Carroll	115c2b524e	wasm: add some more assertions to linking DCE test	2022-06-15 20:20:55 +01:00
Brian Carroll	87e020fcca	wasm: tweak comments	2022-06-15 20:20:54 +01:00
Ayaz Hafiz	420458b100	Print timings across make specialization passes ... Now that we may run make specialization passes multiple times, we should record and print all timings, not just one.	2022-06-15 15:19:49 -04:00
Ayaz Hafiz	834f75099f	Move derive content hashing to its own crate	2022-06-15 14:29:35 -04:00
Ayaz Hafiz	d621834af3	Test expected derived type	2022-06-15 14:29:35 -04:00
Ayaz Hafiz	ed45c5c38f	Create generic derivers rather than tied to type	2022-06-15 14:29:34 -04:00
Ayaz Hafiz	f3a4d594fb	Add tests for opaques	2022-06-15 14:29:34 -04:00
Ayaz Hafiz	9e0f61a596	Add more tests for builtin types and aliases	2022-06-15 14:29:34 -04:00
Ayaz Hafiz	0560fb41a1	Add content-hashing scheme for Encoding deriver	2022-06-15 14:29:34 -04:00
Ayaz Hafiz	445a5e5c2c	Fix abilities rebase issue	2022-06-15 14:29:17 -04:00
Ayaz Hafiz	8f3dfa990a	Rename derivers to derive	2022-06-15 14:26:57 -04:00
Ayaz Hafiz	7cbd13145d	Roc format	2022-06-15 14:26:57 -04:00
Ayaz Hafiz	e97546238a	Encoding for empty records	2022-06-15 14:26:56 -04:00
Ayaz Hafiz	3d12367568	Clippy	2022-06-15 14:26:56 -04:00
Ayaz Hafiz	fe55b5a226	Perf: don't collect or re-insert variable slices	2022-06-15 14:26:56 -04:00