547 commits

Author	SHA1	Message	Date
Ayaz Hafiz	eb2012dcad	Typos	2022-07-15 10:39:10 -04:00
Ayaz Hafiz	a5a80d2d17	Test immediate encoding derivers	2022-07-15 10:39:09 -04:00
Ayaz Hafiz	946004a82f	Support immediate derivers for numbers	2022-07-15 10:39:09 -04:00
Ayaz Hafiz	2e20441157	Num * can't be derived for encoding, but concrete numbers can be	2022-07-15 10:39:09 -04:00
Ayaz Hafiz	7b23077265	Treat numbers as ad-hoc types for the purpose of checking ability obligations	2022-07-15 10:39:09 -04:00
Ayaz Hafiz	568e8d9475	Remove explicit string deriving code in favor of immediate	2022-07-15 10:39:09 -04:00
Ayaz Hafiz	9a66e936a8	Switch String deriving to be an immediate deriver	2022-07-15 10:39:08 -04:00
Ayaz Hafiz	c98ba441cf	Properly handle immediate derivations	2022-07-15 10:38:11 -04:00
Ayaz Hafiz	e91247a64d	Store ability member lambda sets in storage subs	2022-07-15 10:38:11 -04:00
Ayaz Hafiz	52d3f9721f	Add function to extract ability member's lambda sets at regions	2022-07-15 10:38:11 -04:00
Ayaz Hafiz	759134885b	Explain pushing/popping types on region labelling stack	2022-07-15 10:38:10 -04:00
Folkert de Vries	460b822caa	Merge pull request #3501 from rtfeldman/derive-tag-union-encoding-gen ... Derive tag union encoding gen	2022-07-15 15:57:41 +02:00
Folkert	b9ebd4fa27	Merge remote-tracking branch 'origin/trunk' into pretty-expect-output	2022-07-15 09:12:04 +02:00
Folkert	b6224a3806	ugly hack to make the docs build	2022-07-14 22:15:19 +02:00
Folkert de Vries	1b1b63aad0	Merge branch 'trunk' into assoc-list-dict	2022-07-14 16:47:50 +02:00
Ayaz Hafiz	3f7c91f988	Where there's clippy, there's no way	2022-07-14 09:24:08 -04:00
Ayaz Hafiz	94ab904b6f	Fix compile errors	2022-07-14 09:02:37 -04:00
Ayaz Hafiz	02526b6dc2	Mark deriving test for encoding tags as complete	2022-07-14 08:49:46 -04:00
Ayaz Hafiz	b1867a97d2	Unignore test	2022-07-14 08:49:46 -04:00
Ayaz Hafiz	276bb173a0	Add gen tests for derived tag encoders	2022-07-14 08:49:46 -04:00
Ayaz Hafiz	2ca86c84dc	Gen derived tag encoders with multiple payloads	2022-07-14 08:49:46 -04:00
Ayaz Hafiz	ad5d6a4f84	Copy patterns	2022-07-14 08:49:45 -04:00
Ayaz Hafiz	1cf1e114be	Derive tag union encoders	2022-07-14 08:49:45 -04:00
Ayaz Hafiz	9aa3cb8d33	Use Derived_synth for synthesizing implementations, and Derived_gen for codegen	2022-07-14 08:49:45 -04:00
Ayaz Hafiz	8311fb553f	Update mono tests	2022-07-14 08:49:45 -04:00
Ayaz Hafiz	a23604cd07	Compact lambda sets with structural derived ability impls	2022-07-14 08:49:45 -04:00
Ayaz Hafiz	6141e8ff76	Perfom derives from global derives module, not just symbol table	2022-07-14 08:49:44 -04:00
Ayaz	a9243720da	Merge pull request #3496 from rtfeldman/derive-w-mono ... Monomorphize and compile derived implementations	2022-07-14 07:45:21 -05:00
Folkert de Vries	cab1ec0be5	Merge pull request #3532 from rtfeldman/3504 ... Wrap opaque types in the repl with the appropriate opaque wrapper	2022-07-14 10:04:41 +02:00
Folkert	88a9fab865	clippy	2022-07-14 08:56:23 +02:00
Folkert	488a4ca730	update test	2022-07-14 08:54:42 +02:00
Folkert	96414cb03f	cleanup	2022-07-14 08:52:38 +02:00
Richard Feldman	a812369299	Merge pull request #3510 from rtfeldman/fix-loading ... Fix some file loading bugs	2022-07-13 21:30:39 -04:00
Richard Feldman	da7c7ac5f2	Merge pull request #3525 from rtfeldman/3522 ... Num.toStr for f32, f64, Dec	2022-07-13 21:30:05 -04:00
Folkert	06938429a1	Merge branch 'assoc-list-dict' into pretty-expect-output	2022-07-14 00:39:01 +02:00
Ayaz Hafiz	9b7950f765	Wrap opaque types in the repl with the appropriate opaque wrapper ... Closes #3504	2022-07-13 17:46:04 -04:00
Ayaz Hafiz	b50974e4ee	Update zig tests	2022-07-13 17:20:47 -04:00
Folkert	e6019a1eca	formatting	2022-07-13 23:11:58 +02:00
Richard Feldman	b734986fc8	Use config_shorthand of "" but never a shorthand of "" ... This was breaking bindgen's ability to work on some platform modules.	2022-07-13 17:03:32 -04:00
Brian Carroll	06f8af6b1e	gen_wasm: correctly detect empty ElementSection and don't emit TableSection	2022-07-13 21:23:32 +01:00
Ayaz Hafiz	2a963ca3ba	Merge branch 'assoc-list-dict' of https://github.com/rtfeldman/roc into assoc-list-dict	2022-07-13 16:18:52 -04:00
Ayaz Hafiz	71b078d2dc	Clone delayed type alias when there are equivalent type variables	2022-07-13 16:18:03 -04:00
Richard Feldman	77afe0c1f1	Merge pull request #3503 from rtfeldman/string-memory-problems ... String memory problems	2022-07-13 15:17:28 -04:00
Folkert	6bc88a42d7	enable some dict tests for wasm	2022-07-13 20:53:18 +02:00
Folkert	5763248b44	Merge remote-tracking branch 'origin/trunk' into assoc-list-dict	2022-07-13 20:44:28 +02:00
Folkert	d85158e813	add case	2022-07-13 20:14:21 +02:00
Folkert	7456be1771	update mono tests	2022-07-13 19:39:03 +02:00
Folkert	ed27e0ea62	Dict and Set are always in scope	2022-07-13 19:36:53 +02:00
Richard Feldman	af39bc5369	Revert "Don't invent shorthands" ... This reverts commit 8b6d55df01.	2022-07-13 13:24:48 -04:00
Folkert	b229c70eec	add cli test configuration	2022-07-13 19:16:36 +02:00