811 commits

Author	SHA1	Message	Date
Folkert	984000095f	clone structs and tags if they are copy	2022-07-23 00:15:38 +02:00
Folkert	d4feaf871b	add llvm expect cloning	2022-07-23 00:09:25 +02:00
Folkert	ab3a431db7	add string cloning helper	2022-07-23 00:08:01 +02: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	f85d3243e9	fix implementation of UnionLayout::tag_id_offset	2022-07-22 13:12:44 +02:00
Richard Feldman	ab3501a2a3	Use UnionLayout::tag_id_offset in bindgen	2022-07-22 12:57:41 +02:00
Folkert	9c2e6fca0a	add UnionLayout::tag_id_offset	2022-07-22 12:53:24 +02:00
Ayaz Hafiz	90acbd54ef	Get rid of loop	2022-07-21 18:20:11 -04:00
Ayaz Hafiz	5988257bde	Reflect newtypes in path instructions	2022-07-21 18:17:57 -04:00
Richard Feldman	b7d78d9237	Merge pull request #3598 from rtfeldman/i3558 ... Compile variables bound in multiple patterns of a branch, and detect unbound patterns	2022-07-21 16:45:52 -04:00
Ayaz Hafiz	0004e77940	Remove solve test	2022-07-21 15:09:21 -04:00
Ayaz Hafiz	258727a1e4	Add nested no-payload gen test	2022-07-21 15:08:26 -04:00
Ayaz Hafiz	f3722659fc	Newtype destructures test for record that decay into their only arg	2022-07-21 15:03:18 -04:00
Ayaz Hafiz	929a00e73d	Improve quality of decision tree newtype unwrap gen test	2022-07-21 14:58:42 -04:00
Ayaz Hafiz	1acb7e0748	Don't add path instructions for newtypes that decay into their args	2022-07-21 14:57:17 -04:00
Ayaz Hafiz	961cff94d1	Only permit shadowing past first pattern	2022-07-21 14:35:16 -04:00
Richard Feldman	fac29615c8	Merge pull request #3590 from rtfeldman/update-wording ... Update wording on a type mismatch	2022-07-21 14:29:23 -04:00
Folkert de Vries	a432874290	Merge pull request #3592 from rtfeldman/main-dot-roc ... Advise using `roc run` with no arg if running `main.roc`	2022-07-21 18:36:39 +02:00
Ayaz Hafiz	52e15bd344	Reproduce #3560 ... Part of #3560	2022-07-21 12:30:36 -04:00
Ayaz Hafiz	0259c3cf92	s/occurences/occurrences/g	2022-07-21 12:29:09 -04:00
Ayaz Hafiz	4839c1f1ce	Clippy doesn't like stack spills. Sorry clippy!	2022-07-21 12:26:42 -04:00
Ayaz Hafiz	7fbdbca4c6	Add multi-branch bound pattern solve test	2022-07-21 12:22:27 -04:00
Ayaz Hafiz	92e363f4ef	Add non-basis test gen case for compiling branches with unbound patterns	2022-07-21 12:19:46 -04:00
Ayaz Hafiz	78dc82867a	Report errors for identifiers not bound in all patterns of a branch	2022-07-21 12:15:05 -04:00
Ayaz Hafiz	ce8b50caea	Support bound variables in multiple patterns	2022-07-21 11:40:09 -04:00
Ayaz Hafiz	bf8fc0d0de	Permit binding variables multiple itmes in when branches	2022-07-21 11:06:40 -04:00
Richard Feldman	e7a76fba0f	Merge remote-tracking branch 'origin/trunk' into update-wording	2022-07-21 11:01:08 -04:00
Folkert	2e07c3f617	show preceding comment in failed test messages	2022-07-21 10:42:58 -04:00
Folkert	2caf58dfd2	show preceding comment in test panic messages	2022-07-21 10:42:58 -04:00
Folkert	5a93da5a11	some work on expect comment regions	2022-07-21 10:42:57 -04:00
Folkert	7597d11b59	parse the region of the preceding comment for an expect	2022-07-21 10:42:57 -04:00
Richard Feldman	35733d51dc	Tweak expectation panic message wording	2022-07-21 10:42:57 -04:00
Folkert	9d294b459e	thread top-level expect region through	2022-07-21 10:42:57 -04:00
Folkert	7e5476aa58	report panicking tests (not pretty yet)	2022-07-21 10:42:57 -04:00
Richard Feldman	3129225951	Only print an inc_dec warning in debug builds	2022-07-21 10:42:57 -04:00
Folkert	b6f1fd6f40	constrain expects in the right order	2022-07-21 10:42:57 -04:00
Folkert	c2206f3e4d	substitute into expect	2022-07-21 10:42:56 -04:00
Ayaz Hafiz	29b37a10df	Correctly use module name in linked functions	2022-07-21 09:02:04 -04:00
Ayaz Hafiz	7ef03440ef	Fully qualify values exported to host linking ... Previously we were only handing off exposed values based on their inner-module ID, but actually the fully-resolved ID is needed, because it's reasonable that two identical names from different modules are exposed to the host. Closes #3483	2022-07-21 09:02:03 -04:00
Folkert de Vries	f9a5113210	Merge pull request #3588 from rtfeldman/roc-list-from-iter-part2 ... RocList::from_iter for zero-size elements & fix over-allocation	2022-07-21 12:06:25 +02:00
Richard Feldman	8f7e33f526	Advise running roc run if given "main.roc"	2022-07-20 17:01:32 -04:00
Richard Feldman	eacc65e07f	Revise message for trying to run non-app modules	2022-07-20 16:58:52 -04:00
Richard Feldman	a0237d6aa3	Revise unexpected pattern report	2022-07-20 10:49:06 -04:00
Richard Feldman	55b86f3fe2	Update a test to use new wording	2022-07-20 10:49:06 -04:00
Richard Feldman	1e856d0766	Update repl tests	2022-07-20 10:49:06 -04:00
Richard Feldman	6aaa940ddf	Update reporting tests and snapshots	2022-07-20 10:49:06 -04:00
Richard Feldman	024b0c85f8	Report 'a fraction' instead of 'a frac'	2022-07-20 10:49:05 -04:00
Richard Feldman	3972664e48	Rename Category::Float to Category::Frac	2022-07-20 10:49:05 -04:00
Richard Feldman	e389b23e4b	Update wording on arg mismatch	2022-07-20 10:49:05 -04:00