1974 commits

Author	SHA1	Message	Date
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	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
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	35a4781045	Get rid of redundant references	2022-10-24 13:13:08 -05:00
Ayaz Hafiz	9b24205906	Emplace variables made from types in expectations	2022-10-24 13:11:35 -05:00
Ayaz Hafiz	04a3f1c00e	Use a helper to emplace type cells	2022-10-24 12:07:00 -05:00
Ayaz Hafiz	d3e14550d8	Leave variables behind when converting Types to variables ... This is part one of addressing the present issues with emplacing type directly where type variables should be reused. Now, when an `Index<Type>` is converted to a variable in solving, we leave the converted variable in the `Type`'s place. Specifically, we keep an index to a `Cell<Type>`. Note that this transformation is only temporary, it will be removed once we merge this with the `Type` SoA representation, but it is needed in the meantime as I transform the `Constrain` API to get rid of type-emplacement.	2022-10-24 11:42:35 -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
Luke Boswell	d85a493abd	adding more docs for Dict.roc	2022-10-24 20:44:00 +11:00
Luke Boswell	9c3666c5e3	increase clarity for order of operations for NOT	2022-10-24 20:06:19 +11:00
Luke Boswell	dc8cdecd05	increase clarity for order of operations in examples	2022-10-24 20:04:15 +11:00
Luke Boswell	f287a77035	fix order of operations in Bool tests on AND	2022-10-24 20:02:37 +11:00
Luke Boswell	dd586d31a5	updating docs for Box and Dict	2022-10-24 20:00:33 +11:00
Luke Boswell	b73401ab52	typo fixes	2022-10-24 18:02:53 +11:00
Luke Boswell	f409387127	updated docs for Bool.roc	2022-10-24 17:56:56 +11: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
Folkert	baeb585b45	some fixes for platform linking on windows	2022-10-23 20:05:24 +02:00
Christopher Duncan	a627a47709	Add Dict module to the testing CI	2022-10-23 08:37:59 -04:00