190 commits

Author	SHA1	Message	Date
Richard Feldman	d6fa2acc54	Properly pass around roc_cache_dir during loading	2022-11-20 11:05:53 -05:00
Richard Feldman	79be1f94fa	Go back to old load_platform_module name	2022-11-20 10:40:50 -05:00
Richard Feldman	f9676098d3	clippy	2022-11-20 10:39:57 -05:00
Richard Feldman	0fe3ecd00e	Drop unused enum	2022-11-20 10:39:07 -05:00
Richard Feldman	40bd8ff1de	Support loading platform modules via HTTPS	2022-11-20 10:37:55 -05:00
Richard Feldman	291e6cce73	Make a lock get dropped sooner	2022-11-20 07:08:21 -05:00
Richard Feldman	2cc6a16dd1	Extract an &mut so we don't do it every time	2022-11-20 07:00:30 -05:00
Folkert de Vries	de472015f6	Merge pull request #4505 from roc-lang/fix-web-repl-palette ... Fix web REPL error formatting by routing the active Palette everywhere	2022-11-15 15:49:37 +01:00
Folkert	662bf1de99	more workspace dependencies	2022-11-13 16:10:02 +01:00
Brian Carroll	ed048c7c93	Fix more tests	2022-11-12 09:12:28 +00:00
Brian Carroll	894697b284	Build fixes	2022-11-12 08:46:18 +00:00
Ayaz Hafiz	f1180a1549	Byte deletion party	2022-11-11 21:16:23 -06:00
Ayaz Hafiz	a2e90c3709	Fix types SoA usage in solve	2022-11-11 21:16:23 -06:00
Ayaz Hafiz	6b5f632364	[skip-ci] Fix borrow issues in constraining	2022-11-11 21:16:22 -06:00
Ayaz Hafiz	e3ef9828c7	Store solve aliases as TypeTag	2022-11-11 21:16:05 -06:00
Ayaz Hafiz	e3dbf5c09c	Use capacity when constructing aliases	2022-11-11 21:16:04 -06:00
Ayaz Hafiz	0d642929aa	Remove builtin aliases in favor of alias instantiation optimizations	2022-11-11 21:16:04 -06:00
Ayaz Hafiz	314b75b0e5	Feed SoA Types from load into solve	2022-11-11 21:16:03 -06:00
Ayaz Hafiz	6f6a90320e	Store types on ConstrainedModule	2022-11-11 21:16:01 -06:00
Brian Carroll	b64514d7e4	Fix web REPL error formatting by routing the active Palette everywhere	2022-11-11 23:38:08 +00:00
Luke Boswell	cec67721e6	merge upstream/main	2022-11-06 09:27:46 +11:00
Luke Boswell	2c2a70b8e7	Merge remote-tracking branch 'upstream/main' into rust-docs	2022-11-06 09:15:57 +11:00
Folkert	92cc120c7f	Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects	2022-11-05 12:21:37 +01:00
Folkert	66a1ba00eb	1.65 clippy fixes	2022-11-03 16:20:37 +01:00
Luke Boswell	f3bdb5f321	updating rust package documentation	2022-11-03 20:00:06 +11:00
Folkert	0c9b49f5cd	Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects	2022-11-02 23:02:22 +01:00
Ayaz Hafiz	cbd014a98a	let_import_constraint take a type index	2022-11-02 15:05:23 -05:00
Richard Feldman	5e00522a47	Merge pull request #4443 from joshuawarner32/move-min_indent-to-parse-pr ... Refactor Parser trait to pass min_indent	2022-10-31 17:46:05 -07:00
Joshua Warner	07be8ec000	Refactor Parser trait to pass min_indent ... This removes the need to explicitly pass thru min_indent when using the parser combinators. My ultimate goal here is to evolve the current parser closer toward a purely combinator-based parser, at which point we can more easily transition smoothly to a formal(ish) grammar, or expand the meanings of combinators to include things like: * Incremental (re)parsing * Unified parsing and formatting code * Better error recovery * Using the main parser directly for syntax highlighting	2022-10-31 13:31:47 -07:00
Ayaz Hafiz	bedb26124d	Update load tests	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	debe6332c5	Support OIOP for type aliases	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	d55dbbf0ae	Update load test to work around constraining bug	2022-10-31 09:37:41 -05:00
Ayaz Hafiz	d77080529a	Introduce polarity for extension variable printing	2022-10-31 09:37:39 -05:00
Folkert	dbd0d30893	Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects	2022-10-30 15:57:07 +01:00
Ayaz Hafiz	fc6f7d2613	Basic support for multi-ability docs	2022-10-24 14:00:46 -05:00
Ayaz Hafiz	548a235c25	Support parsing multiple abilities in a clause	2022-10-24 13:56:06 -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	2a21cd8c6e	Resolve ability specializations looked up in expects	2022-10-18 01:04:21 +02:00
Ayaz Hafiz	d26e9c81e0	Resolve ability specializations looked up in expects	2022-10-17 17:56:48 -05:00
Folkert	323210c547	Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects	2022-10-16 13:56:30 +02:00
Ayaz Hafiz	7fa2778ecf	Fix even more load tests	2022-10-12 16:38:37 -05:00
Ayaz Hafiz	ccfb85325d	Update load tests	2022-10-12 16:38:37 -05:00
Ayaz Hafiz	a256947a9f	Move Eq to Bool	2022-10-12 16:37:51 -05:00
Ayaz Hafiz	bd5f5ed735	Old implementations can be overwritten before solving	2022-10-12 16:37:51 -05:00
Ayaz Hafiz	3674f6861e	Compile derived structural equality	2022-10-12 16:37:49 -05:00
Ayaz Hafiz	16d12a51c2	Add Eq to the standard library	2022-10-12 16:37:48 -05:00
Ayaz Hafiz	76ce025faa	Turn on type caching for Encode, Decode, Hash	2022-10-11 10:48:25 -05:00
Ayaz Hafiz	7e79ff55f1	Serialize abilities store and solved implementations with subs	2022-10-11 10:31:21 -05:00
Folkert	e62ab00c65	Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects	2022-10-09 18:46:57 +02:00
Ayaz Hafiz	5416eb7cbf	List dependencies in the stdlib explicitly rather than hard-coding	2022-10-05 18:53:49 -05:00