2729 commits

Author	SHA1	Message	Date
Ayaz Hafiz	fc6f7d2613	Basic support for multi-ability docs	2022-10-24 14:00:46 -05:00
Ayaz Hafiz	1053c11907	Basic formatting of multi-abilities	2022-10-24 14:00:46 -05:00
Ayaz Hafiz	0642952d05	Remove some resolved todos	2022-10-24 14:00:46 -05:00
Ayaz Hafiz	66e75b8660	Simplify instantiation of bound able variables in non-delayed aliases	2022-10-24 14:00:46 -05:00
Ayaz Hafiz	3f5a86ded3	Update ability bindings	2022-10-24 14:00:46 -05:00
Ayaz Hafiz	0da72df5e9	Add ability slice to eq obligation checker	2022-10-24 14:00:46 -05:00
Ayaz Hafiz	2961d1a8be	Remove redundant reference	2022-10-24 14:00:45 -05:00
Ayaz Hafiz	b1a113e084	Simplify confusing error message	2022-10-24 14:00:45 -05:00
Ayaz Hafiz	c1ca64bbc9	Error messages when multiple ability bounds are missing or incomplete	2022-10-24 14:00:45 -05:00
Ayaz Hafiz	c0257302a9	Address clippy lints	2022-10-24 14:00:45 -05:00
Ayaz Hafiz	152400dea3	Add gen test for multiple ability bounds	2022-10-24 14:00:45 -05:00
Ayaz Hafiz	3bd10698cf	Allow rigid able to unify with flex able when rigid bounds are a superset	2022-10-24 14:00:45 -05:00
Ayaz Hafiz	0a96a93a67	Add test for inferring multiple ability bounds	2022-10-24 14:00:44 -05:00
Ayaz Hafiz	46b741e9dd	Correctly clone able vars across subs	2022-10-24 13:59:52 -05:00
Ayaz Hafiz	9c88534758	Obligation checking layers on extra abilities bound to a variable	2022-10-24 13:59:52 -05:00
Ayaz Hafiz	db7fe48d1c	Merge muliple abilities bound to flex var	2022-10-24 13:59:52 -05:00
Ayaz Hafiz	49e19d96e5	Print multiple abilities in error types	2022-10-24 13:59:52 -05:00
Ayaz Hafiz	94fc58a508	Pretty-print variables bound to multiple abilities	2022-10-24 13:59:52 -05:00
Ayaz Hafiz	4541b41f7b	Revert VecSet-related changes	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	1e6181d2cb	New data structure for storing sorted abilities bound to a variable	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	229548571b	Represent "able" variables with slices of abilities	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	0f0678ce73	s/closure_names/symbol_names/g in subs	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	2011ec97c3	Store multiple abilities as a VecSet	2022-10-24 13:59:51 -05:00
Ayaz Hafiz	603160dae3	Report errors for duplicate bound abilities	2022-10-24 13:59:50 -05:00
Ayaz Hafiz	231a72f2ee	Insert first ability correctly in the parser	2022-10-24 13:56:07 -05:00
Ayaz Hafiz	6bb97c92b9	Canonicalize multiple abilities bound to a type variable	2022-10-24 13:56:07 -05:00
Ayaz Hafiz	97dbac1631	Add tests for multiple abilities bound to a variable	2022-10-24 13:56:07 -05:00
Ayaz Hafiz	548a235c25	Support parsing multiple abilities in a clause	2022-10-24 13:56:06 -05:00
Richard Feldman	bdc565762b	Merge pull request #4383 from roc-lang/docs-updates ... "Different names" tip in builtin docs	2022-10-24 11:39:29 -07:00
Ayaz	89f14e73a0	Merge pull request #4358 from roc-lang/derive-opaque-defs ... Auto-derive ability implementations for opaques in canonicalization	2022-10-24 13:24:51 -05:00
Ayaz Hafiz	5164994fb5	Do not attempt to lookup functions in expects ... Functions are not useful to print in expect results, because they are only printed opaquely as `<function>`. Moreover, their transformation to closure sets during mono can be extremely lossy, up to and including the elision of symbols for function closure symbols. As such, simply do not attempt to lookup or print functions referenced in expects. Closes #4389	2022-10-24 10:28:56 -05:00
Anton-4	0286524892	Merge pull request #4289 from cjduncana/dict-testing ... Add Dict module to the testing CI	2022-10-24 09:12:07 +02:00
Ayaz Hafiz	14e0cd1b84	Address syntax error	2022-10-23 20:49:06 -05:00
Ayaz Hafiz	8ff74465b9	Format Decode.roc	2022-10-23 20:48:07 -05:00
Ayaz Hafiz	89def77f01	Use derived Eq impl for Dict and Set	2022-10-23 20:48:07 -05:00
Ayaz Hafiz	e75f3c3c79	Get rid of MemberImpl::Derived ... We don't need this anymore, since derived members become Impls during canonicalization now!	2022-10-23 20:48:07 -05:00
Ayaz Hafiz	1d885c4ab2	Support deriving Decode for opaques	2022-10-23 20:48:06 -05:00
Ayaz Hafiz	61ba59de07	Even more unneeded allocations	2022-10-23 20:48:06 -05:00
Ayaz Hafiz	e08b613047	Add Decode.mapResult	2022-10-23 20:48:06 -05:00
Ayaz Hafiz	bb8888b115	Make sure we don't report errors for illegal derived bodies, just their decls	2022-10-23 20:48:05 -05:00
Ayaz Hafiz	3f09de7052	Remove unused var	2022-10-23 20:47:43 -05:00
Ayaz Hafiz	59dfc4ab99	Move can-derived bodies to their own module	2022-10-23 20:47:43 -05:00
Ayaz Hafiz	6edab8b7cc	Avoid unneeded allocations	2022-10-23 20:47:43 -05:00
Ayaz Hafiz	c4f9aa6fe6	Add deriving toEncoder for opaques	2022-10-23 20:47:42 -05:00
Ayaz Hafiz	83813afeaf	Derive Eq for opaques	2022-10-23 20:46:56 -05:00
Ayaz Hafiz	40e05d5a00	Add support for deriving Hash for opaques	2022-10-23 20:46:56 -05:00
Richard Feldman	7737aac810	Drop the trailing "/" in docs sidebar links	2022-10-23 21:10:35 -04:00
Richard Feldman	921ab885ce	Move where the "different name" tip goes	2022-10-23 18:55:41 -04:00
Richard Feldman	c15a1dde22	Restyle search key shortcut	2022-10-23 18:55:40 -04:00
Folkert de Vries	a4ed5a582d	Merge pull request #4378 from roc-lang/windows-resize-reloc-section ... resize reloc section when required	2022-10-23 20:05:11 +02:00