1919 commits

Author	SHA1	Message	Date
Folkert	52404a4085	fix wrong flag passed to zig	2022-10-26 16:31:20 +02:00
Richard Feldman	9bb45f5856	Merge pull request #4381 from roc-lang/windows-rust-platforms ... Windows rust platforms	2022-10-24 18:27:26 -07:00
Ayaz Hafiz	1f498b52d5	Better name solve test	2022-10-24 14:02:38 -05:00
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	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	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
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
Richard Feldman	f734cc11c2	Merge pull request #4364 from travisstaloch/str-graphemes ... Str graphemes	2022-10-22 22:31:50 -07:00
Travis Staloch	c2dbed2ff5	str-graphemes: rework and add some zig tests ... - rework strGraphemes() to use a mutable slice and keep track of just `last_codepoint_len`. - add zig tests for empty string, ascii, utf8, ascii+utf8+emoji	2022-10-22 19:29:49 -07:00
Prajwal S N	df7e4eea7e	builtin(str): implement Str.graphemes ... Signed-off-by: Prajwal S N <prajwalnadig21@gmail.com>	2022-10-22 19:29:49 -07:00
Folkert de Vries	be624f8bcb	Merge pull request #4359 from roc-lang/i4313 ... Disallow typing optional fields when required fields are annotated	2022-10-23 01:20:55 +02:00
Folkert de Vries	bcf2fc340d	Merge pull request #4350 from roc-lang/i4348 ... Use runtime representation of values when building structural eq	2022-10-23 01:19:17 +02:00