742 commits

Author	SHA1	Message	Date
Folkert	4e83b4352a	reliable i128 alignment	2022-07-24 01:30:10 +02:00
Folkert	c09cb4e3ea	fix stack size of empty tag union	2022-07-23 23:10:56 +02:00
Folkert	aa08256aef	align alloca	2022-07-23 17:07:43 +02:00
Folkert	48e0938e8b	fix merge conflict	2022-07-23 15:46:41 +02:00
Folkert	93c331e1aa	Merge remote-tracking branch 'origin/trunk' into tag-alignment	2022-07-23 14:27:06 +02:00
Folkert de Vries	860df057dc	Merge pull request #3600 from rtfeldman/i3298 ... Various improvements to is-open constraints/catch-all branches in patterns	2022-07-23 12:49:35 +02:00
Folkert	d54428571f	fix layout test	2022-07-23 11:46:51 +02:00
Folkert de Vries	d55d1b00d9	Merge pull request #3611 from rtfeldman/i3266 ... Emit runtime error when tag unions have an error type	2022-07-23 01:28:55 +02:00
Richard Feldman	bf8711f2cb	Merge pull request #3605 from rtfeldman/wasm-test-cherrypicks ... wasm test cherrypicks	2022-07-22 17:06:01 -04:00
Folkert	70fcb574dd	update layout helpers	2022-07-22 21:56:24 +02:00
Ayaz Hafiz	5ad04dcd2c	Emit runtime error when tag unions have an error type ... Closes #3266	2022-07-22 15:46:09 -04:00
Folkert	6d88d4106f	remove dead code	2022-07-22 21:15:41 +02:00
Folkert	20c63cd2c9	add tests	2022-07-22 21:13:55 +02:00
Folkert	6cabf11cbc	gen tests with new tag layout	2022-07-22 21:13:55 +02:00
Folkert	9cb2bd04fd	fix from wasm32 RocResult implementation	2022-07-22 21:13:55 +02:00
Folkert	cd2311003e	pull out build_struct	2022-07-22 21:13:54 +02:00
Folkert	90e3021904	make pub(crate)	2022-07-22 21:13:54 +02:00
Folkert	e6104ee52f	update api usage in wasm backend	2022-07-22 21:13:53 +02:00
Folkert	4977d1c65e	use RocUnion constants for tag index	2022-07-22 21:13:53 +02:00
Folkert	366429303c	add RocUnion	2022-07-22 21:13:53 +02:00
Folkert	22fea90cd6	fix implementation of UnionLayout::tag_id_offset	2022-07-22 21:13:52 +02:00
Folkert	3ca8dfa3ef	add UnionLayout::tag_id_offset	2022-07-22 21:13:51 +02:00
Ayaz Hafiz	a56e4a37c3	Get rid of loop	2022-07-22 21:13:51 +02:00
Ayaz Hafiz	5d2cfa1482	Reflect newtypes in path instructions	2022-07-22 21:13:51 +02:00
Ayaz Hafiz	3dd481fbf9	Remove solve test	2022-07-22 21:13:50 +02:00
Ayaz Hafiz	4a50ab6d8e	Add nested no-payload gen test	2022-07-22 21:11:34 +02:00
Ayaz Hafiz	4fc59ffc12	Newtype destructures test for record that decay into their only arg	2022-07-22 21:11:32 +02:00
Ayaz Hafiz	43d7a63597	Improve quality of decision tree newtype unwrap gen test	2022-07-22 21:11:32 +02:00
Ayaz Hafiz	eee13a4aa3	Don't add path instructions for newtypes that decay into their args	2022-07-22 21:11:31 +02:00
Ayaz Hafiz	d4ad981448	Reproduce #3560 ... Part of #3560	2022-07-22 21:11:31 +02:00
Ayaz Hafiz	a03cf85529	Add a datatype	2022-07-22 13:02:22 -04:00
Ayaz Hafiz	d4cf9b8f8d	Apply is-open constraints to nested types ... Closes #3459	2022-07-22 12:57:27 -04:00
Ayaz Hafiz	13b0ce7ca0	Make sure to apply "is-open" constraints at the very end of pattern constraining ... Closes #3298	2022-07-22 12:57:27 -04:00
Ayaz Hafiz	613606a67d	Support inference options in solve tests	2022-07-22 12:57:26 -04:00
Richard Feldman	53e7a41f27	Merge pull request #3606 from rtfeldman/bindgen-tag-alignment ... bindgen tag alignment	2022-07-22 08:21:03 -04:00
Folkert de Vries	5aaccd2d5b	Merge pull request #3599 from rtfeldman/i3560 ... Compile newtypes that decay into non-newtypes in branch patterns	2022-07-22 13:48:11 +02:00
Folkert	ccd8821acf	fix test panic output formatting	2022-07-22 13:33:52 +02:00
Folkert	0e56753bf1	clippy	2022-07-22 13:16:05 +02:00
Folkert	f85d3243e9	fix implementation of UnionLayout::tag_id_offset	2022-07-22 13:12:44 +02:00
Folkert	9c2e6fca0a	add UnionLayout::tag_id_offset	2022-07-22 12:53:24 +02:00
Folkert	cd98f20989	build wasm3 the normal way	2022-07-22 12:43:17 +02:00
Folkert	6bfe16113d	clippy	2022-07-22 12:29:46 +02:00
Folkert	4c66db7cbe	stop linking wasi; it is unused	2022-07-22 12:23:10 +02:00
Folkert	03fec5f21c	improve error message	2022-07-22 12:22:36 +02:00
Folkert	8cec4c41f8	define send_panic_msg_to_rust in our debug-wasm-test.html	2022-07-22 12:22:19 +02:00
Folkert	e8b7d27e73	use just one temp dir in wasm llvm tests	2022-07-22 12:22:02 +02:00
Folkert	f1d238cccf	add env var to make the final wasm file be written	2022-07-22 12:19:29 +02:00
Folkert	71d80a08d2	remove wasm helpers into the mod for reuse	2022-07-22 12:19:19 +02:00
Folkert	3ca24a6476	implement wasm memory traits for 4-tuples	2022-07-22 12:18:31 +02:00
Folkert	7e0e635f60	split out ok and err withDefault tests	2022-07-22 12:17:08 +02:00