248 commits

Author	SHA1	Message	Date
Richard Feldman	029f8f4bf7	Update reporting tests	2023-10-22 11:31:48 -04:00
Richard Feldman	3e01fe76d3	Fix typo	2023-10-22 10:46:11 -04:00
Richard Feldman	2f0527bc39	Update reporting tests	2023-10-22 10:22:40 -04:00
Anton-4	f0795e6935	minor improvements	2023-09-15 19:51:13 +02:00
Fabian Schmalzried	3e41f6eb5a	implement error message for HasMisplacedCarriageReturn ... Also had to filter out the escape characters so the erroe message does not get messed up	2023-09-10 17:17:26 +02:00
Fabian Schmalzried	49a1a3b46d	Implement error message for ASCII control characters	2023-09-10 15:58:36 +02:00
Richard Feldman	15a6bc34f4	Merge remote-tracking branch 'origin/main' into inspect-builtin	2023-08-14 15:03:27 -04:00
Anton-4	ac9421c1b4	basic-cli 0.4.0 -> 0.5.0	2023-08-12 19:34:33 +02:00
Richard Feldman	6b9592aefd	Update some insta tests	2023-08-10 22:48:31 -04:00
Richard Feldman	2da41be29f	Merge remote-tracking branch 'origin/main' into abilities-syntax	2023-08-10 20:36:01 -04:00
Richard Feldman	1ffadb7102	Update string interpolation tests	2023-07-29 18:20:49 -04:00
Ayaz Hafiz	44c4797d9a	Parameterize program solving on a FunctionKind ... This new flag determines whether we should introduce a new kind to represent lambda sets, or whether lambdas should be erased. The latter is not yet implemented.	2023-07-12 13:53:50 -05:00
Folkert	ef39bad7c6	auto clippy fixes	2023-07-10 18:27:08 +02:00
Kiryl Dziamura	6031c0cc9f	Fix desugar step for pizza operator	2023-07-04 10:16:20 +02:00
Kilian Vounckx	3bc8a33668	Add missing provides error message test	2023-06-27 20:52:53 +02:00
Ayaz Hafiz	6e5ee5562e	Update tests	2023-06-22 14:32:05 -05:00
Kilian Vounckx	c6d90e5c1d	Update typo error test	2023-06-17 15:40:42 +02:00
Bryce Miller	0132df9b5a	merge main	2023-06-10 15:04:25 -04:00
Fábio Beirão	47a78a8f24	Fix failing test due to Num.min now being suggested for Num.if ... Contributes to #5533	2023-06-09 17:30:53 +02:00
Bryce Miller	e463ccf4a6	merge main	2023-06-07 20:36:54 -04:00
Luke Boswell	092676c4b7	Merge remote-tracking branch 'remote/main' into remove-json	2023-06-07 15:38:01 +10:00
Ajai Nelson	2e5fef5231	Improve error messages involving ignored variables ... Fix #3987	2023-06-06 19:46:15 -04:00
Bryce Miller	cb08225bf0	| -> where	2023-06-05 20:19:00 -04:00
Luke Boswell	3a534727d5	fix test reporting	2023-06-04 18:19:43 +10:00
Bryce Miller	9640fcb6d4	Fix reporting tests	2023-05-28 13:07:48 -04:00
Bryce Miller	edf969809e	alias_in_has_clause -> alias_in_implements_clause	2023-05-26 23:14:30 -04:00
Bryce Miller	91e37293a2	abilities syntax has -> implements	2023-05-24 21:29:38 -04:00
Bryce Miller	9bd2077010	has [...] -> implements [...]	2023-05-22 21:59:02 -04:00
Bryce Miller	8191c49ab0	has -> implements in reporting tests	2023-05-21 19:52:49 -04:00
Agustin Zubiaga	23db4a5e87	Update tests to new record builder syntax	2023-05-17 11:47:34 -03:00
Luke Boswell	4d4cfcf981	merge remote/main and update mono tests	2023-05-15 16:51:56 +10:00
Agustin Zubiaga	f94004d137	Parse builders without backtracking from records	2023-05-13 20:05:42 -03:00
Agustin Zubiaga	c3bcb88c5b	Special record builder error when applying opaque types	2023-05-11 20:20:35 -03:00
Agustin Zubiaga	71a2990e21	Tip replacing <- with : for static values	2023-05-09 23:37:24 -03:00
Agustin Zubiaga	d2a57112fd	Unapplied record builder error	2023-05-08 20:16:38 -03:00
Agustin Zubiaga	6670fbb1ab	Multiple record builder error	2023-05-08 19:26:47 -03:00
Luke Boswell	4f22b0747f	mono and update Json.fromUtf8 and Json.toUtf8 to Json.json	2023-04-21 10:57:48 +10:00
Ayaz Hafiz	dc9c5b13db	Introduce unannotated function arguments to the env as appropriate	2023-04-20 16:16:40 -05:00
Ayaz Hafiz	8b42300933	Add additional tests	2023-04-20 10:11:29 -05:00
Ayaz Hafiz	6df0caa6ac	Handle function arity checking in nested closures	2023-04-20 10:10:52 -05:00
Ayaz Hafiz	b46392311e	Catch functions typed with too few arguments ... Closes #5264	2023-04-20 10:10:50 -05:00
Ayaz Hafiz	3b885ccf66	Improve error message when opaque wrapping a function is applied directly ... Closes #5094	2023-04-12 10:06:27 -05:00
Ayaz Hafiz	19c0ebc10f	Fix reporting tests	2023-04-10 16:31:00 -05:00
Richard Feldman	d391982c33	Apply tag union diffs to recursive tag unions	2023-03-26 23:19:50 -04:00
Richard Feldman	389ec09451	Show ellipses for tag payload slots of same types	2023-03-26 21:43:13 -04:00
Richard Feldman	3013b9e113	Fix reporting edge case where both unions are open	2023-03-26 14:50:27 -04:00
Richard Feldman	21e14589b0	Update tests	2023-03-26 11:49:45 -04:00
Ayaz	1891df77b8	Merge pull request #5188 from roc-lang/i5177 ... Make sure openness constraint goes under tuples	2023-03-25 15:52:09 -05:00
Ayaz Hafiz	1b2ee9ad30	Make sure openness constraint goes under tuples ... Closes #5177	2023-03-24 14:13:14 -05:00
Ayaz Hafiz	f4f9ae7a5d	Implement obligation checking of tuples for all abilities	2023-03-22 10:03:01 -05:00