174 commits

Author	SHA1	Message	Date
Ayaz Hafiz	d22bd274fd	Check for infinite types of introduced variables before bodies	2022-08-09 14:09:51 -07:00
Ayaz Hafiz	d2015d51f2	Print all argument in tags when their argument lengths mismatch ... Closes #3553	2022-08-09 12:46:53 -07:00
Ayaz Hafiz	8c87ae50c9	Wrap applied types in parens as appropriate	2022-08-09 12:31:01 -07:00
Ayaz Hafiz	3db07a5697	Reproduce #3553	2022-08-09 12:22:31 -07:00
Richard Feldman	e685eba42b	fix tests	2022-08-03 19:50:17 -04:00
Ayaz Hafiz	5d1198ae1f	Add more underivable decoding tests	2022-08-02 14:31:17 -05:00
Ayaz Hafiz	4bbc6b74fc	Add derivability obligation checking for Decode	2022-08-02 14:31:16 -05:00
Ayaz	fa14146054	Merge pull request #3531 from rtfeldman/decode ... Very basic Decode.roc in the standard library	2022-08-02 14:26:28 -05:00
Folkert de Vries	86a1a0f401	Merge pull request #3643 from rtfeldman/disjoint-able-variable-specialization ... Disjoint able variable specialization algorithm	2022-08-02 20:31:47 +02:00
Ayaz Hafiz	e2f1417224	Update reporting test	2022-08-01 11:40:16 -05:00
Ayaz Hafiz	b87f09115c	Report opaques as opaques, not aliases ... Closes #3313 Closes #3654	2022-08-01 08:02:56 -05:00
Ayaz Hafiz	2aa69cb3f1	Update test	2022-07-31 19:43:18 -05:00
Ayaz Hafiz	985c43b15b	Don't panic when weird things get into a record ... Closes #3648	2022-07-31 19:43:18 -05:00
Ayaz Hafiz	4657a957f7	When storing variables, merge them directly with the target rather than unifying ... When we unify two variables that end up merged, the rank of the resulting content is the lower of the two variables being merged. But during storage, we really do mean, take the target descriptor of the type we're merging against, and don't try to lower to a possibly-generalized rank! This fixes a couple bugs I didn't even realize were present!	2022-07-29 14:53:14 -04:00
Ayaz Hafiz	0989b2cb82	Move solve problems to their own crate	2022-07-28 08:57:32 -04:00
Folkert de Vries	01eb161ffe	Merge pull request #3637 from rtfeldman/can-abilities4 ... Syntactic abilities: Part 4 - simplify obligation solving procedure	2022-07-28 11:32:11 +02:00
Richard Feldman	fa5bd442f8	Merge pull request #3635 from rtfeldman/joshuawarner32/multiline ... Strip indents and the first/last newline from multiline strings	2022-07-26 22:09:58 -04:00
Ayaz Hafiz	bb14b649a2	Don't re-report obligations that we know were seen elsewhere	2022-07-26 20:46:35 -04:00
Ayaz Hafiz	6b9c1cb690	Check whether opaque implements ability using store	2022-07-26 20:46:35 -04:00
Ayaz Hafiz	3703940da9	Report specializations that target the unexpected type	2022-07-26 20:46:34 -04:00
Ayaz Hafiz	b0102a8ae7	Add test for when ability specialization is unused	2022-07-26 20:46:33 -04:00
Ayaz	6b6f240acb	Merge pull request #3589 from rtfeldman/can-abilities3 ... Canonicalize syntactic abilities: Part 3 - solving	2022-07-25 21:48:14 -05:00
Joshua Warner	a579edc6f0	Fix error reporting location for unterminated strings and add test for insufficiently indented multiline strings	2022-07-25 19:07:58 -07:00
Folkert	ed71ab3c8f	update reporting test with new suggestion	2022-07-25 19:15:39 +02:00
Ayaz Hafiz	10db3f8574	Detect ability specializations that overload different opaque types	2022-07-25 11:35:20 -04:00
Ayaz Hafiz	51bce825fb	Properly record all erroring ability implementations	2022-07-25 11:30:03 -04:00
Richard Feldman	d2dd4f3e0b	Update reporting snapshot	2022-07-24 19:16:48 -04:00
Ayaz Hafiz	cb42d9b076	Remove subsumed test	2022-07-24 16:11:05 -04:00
Ayaz Hafiz	e15278024a	Add no-introduced-variables test for toplevel defs	2022-07-24 16:11:05 -04:00
Ayaz Hafiz	0de32ac5a9	Warn on definitions that introduce no new variables	2022-07-24 16:11:04 -04:00
Ayaz Hafiz	569e90d682	Fix test change due to underscore parsing in patterns	2022-07-24 16:10:36 -04:00
Ayaz Hafiz	639fcb076b	Add test for using only underscore as identifier name	2022-07-24 16:10:35 -04:00
Ayaz Hafiz	1d4e6acd41	Add test for when catchall branches are on different branches	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
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	78dc82867a	Report errors for identifiers not bound in all patterns of a branch	2022-07-21 12:15:05 -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	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
Ayaz Hafiz	7586a8a083	Check complete ability implementations during canonicalization	2022-07-19 14:30:20 -04:00
Ayaz Hafiz	37ab06b0a3	Reject implementations that don't point to abilities	2022-07-19 14:30:19 -04:00
Ayaz Hafiz	e4af8af1a3	Report duplicate implementations for ability members	2022-07-19 14:30:19 -04:00
Ayaz Hafiz	d2da395619	Syntactic ability links in solve	2022-07-18 18:33:28 -04:00
Ayaz Hafiz	17f53a23a5	Update tests	2022-07-18 17:55:02 -04:00
Ayaz Hafiz	c2154ac311	Support shorthand ability implementation syntax	2022-07-18 17:55:01 -04:00
Ayaz Hafiz	870294b564	Update reporting tests	2022-07-18 17:55:01 -04:00
Ayaz Hafiz	e672ce9ebd	First pass at canonicalizing and reporting syntactic abilities	2022-07-18 17:55:01 -04:00
Richard Feldman	ef1daf0f05	Add failing reporting test for ability_member_not_defined	2022-07-18 17:55:00 -04:00
Folkert de Vries	1b1b63aad0	Merge branch 'trunk' into assoc-list-dict	2022-07-14 16:47:50 +02:00