54 commits

Author	SHA1	Message	Date
Folkert	db09d49cd7	implement two todo!'s	2022-12-02 15:43:48 +01:00
Richard Feldman	58fad36f9d	Merge pull request #4460 from roc-lang/crash ... Crash	2022-11-25 17:18:21 -05:00
Folkert	bc3414e913	spelling	2022-11-25 18:30:04 +01:00
Folkert	07b7a93b9f	fix not being able to dbg variable	2022-11-25 17:55:01 +01:00
Ayaz Hafiz	eef51c9d87	Correct crash refs	2022-11-24 14:50:39 -06:00
Ayaz Hafiz	e2b30e5301	Constrain + solve crash	2022-11-24 14:46:50 -06:00
Ayaz Hafiz	dd05d813a9	Canonicalize crash	2022-11-24 14:46:49 -06:00
Folkert	e44a8a9eed	print all the relevant info	2022-11-23 22:58:58 +01:00
Folkert	e7f3c6f281	inline dbg	2022-11-23 21:23:28 +01:00
Folkert	dcb530d3af	Revert "toplevel debug" ... This reverts commit 5ea8d96f3e.	2022-11-23 20:29:55 +01:00
Folkert	5ea8d96f3e	toplevel debug	2022-11-23 20:29:45 +01:00
Joshua Warner	f4ce4bf983	Implement parsing for tuple accessor functions (.1, .2, etc) ... Step 2 of N toward implementing #4465	2022-11-12 09:56:29 -05:00
Joshua Warner	1753c9cf5b	Implement initial tuple syntax	2022-11-08 18:04:46 -05:00
Folkert	134de80150	various updates	2022-11-03 17:18:27 +01:00
Folkert	ade5e6de26	remove region only used in recursion	2022-11-03 16:59:13 +01:00
Folkert	0129d4da94	remove scope only used in recursion	2022-11-03 16:58:34 +01:00
Folkert	66a1ba00eb	1.65 clippy fixes	2022-11-03 16:20:37 +01:00
Ayaz Hafiz	d26e9c81e0	Resolve ability specializations looked up in expects	2022-10-17 17:56:48 -05:00
Ayaz Hafiz	8aee32830a	Add symbols' localized type variable to the AST	2022-10-17 17:35:48 -05:00
Ayaz Hafiz	178b634266	Treat single quote literals as ranged numbers for inference purposes	2022-10-05 17:28:00 -05:00
Folkert	a22e04361c	Merge remote-tracking branch 'origin/main' into expect-fx-codegen	2022-08-23 16:28:21 +02:00
Ayaz Hafiz	b30c90b500	Don't suggest removing variable when it's bound in a branch pattern ... Instead, suggest prefixing it with an underscore, or replacing with an underscore. Closes #3820	2022-08-19 22:21:44 -05:00
Richard Feldman	7e12bcff1d	Rename variant_var to tag_union_var	2022-08-15 11:11:32 -05:00
Folkert	3aa4ebb02f	get expect-fx to actually run	2022-08-12 23:03:01 +02:00
Folkert	7e6a3ddc15	more boilerplate	2022-08-12 13:50:06 +02:00
Ayaz Hafiz	fdb79da5a8	Report anonymous functions as "this function" rather than symbol name ... Closes #2453 Thanks for the assist @chris-packett	2022-08-10 15:26:52 -07:00
Folkert	7c9b1897bb	fully canonicalize expect-fx	2022-08-09 14:50:24 +02:00
Ayaz Hafiz	41eb3ad9a4	Separate ability members and their specializations in reference checking	2022-07-29 08:43:19 -04:00
Ayaz	6b6f240acb	Merge pull request #3589 from rtfeldman/can-abilities3 ... Canonicalize syntactic abilities: Part 3 - solving	2022-07-25 21:48:14 -05:00
Folkert de Vries	d212dffa1a	Merge pull request #3616 from rtfeldman/i3614 ... Compile branches in the presence of degenerate patterns	2022-07-25 19:45:36 +02:00
Ayaz Hafiz	75ce40c67d	Make sure ability defs that are possibly recursive are marked as such	2022-07-25 10:52:55 -04:00
Folkert	29a260a4b3	pass the right region along with inline expects	2022-07-24 11:25:02 +02:00
Ayaz Hafiz	838ba14581	Clippy	2022-07-22 18:16:57 -04:00
Ayaz Hafiz	4031770836	Mark branch patterns degenerate when they don't bind symbols body needs	2022-07-22 17:26:45 -04:00
Richard Feldman	b7d78d9237	Merge pull request #3598 from rtfeldman/i3558 ... Compile variables bound in multiple patterns of a branch, and detect unbound patterns	2022-07-21 16:45:52 -04:00
Ayaz Hafiz	961cff94d1	Only permit shadowing past first pattern	2022-07-21 14:35:16 -04:00
Richard Feldman	fac29615c8	Merge pull request #3590 from rtfeldman/update-wording ... Update wording on a type mismatch	2022-07-21 14:29:23 -04:00
Ayaz Hafiz	0259c3cf92	s/occurences/occurrences/g	2022-07-21 12:29:09 -04:00
Ayaz Hafiz	78dc82867a	Report errors for identifiers not bound in all patterns of a branch	2022-07-21 12:15:05 -04:00
Ayaz Hafiz	bf8fc0d0de	Permit binding variables multiple itmes in when branches	2022-07-21 11:06:40 -04:00
Folkert	5a93da5a11	some work on expect comment regions	2022-07-21 10:42:57 -04:00
Richard Feldman	3972664e48	Rename Category::Float to Category::Frac	2022-07-20 10:49:05 -04:00
Folkert	b9ebd4fa27	Merge remote-tracking branch 'origin/trunk' into pretty-expect-output	2022-07-15 09:12:04 +02:00
Folkert	06938429a1	Merge branch 'assoc-list-dict' into pretty-expect-output	2022-07-14 00:39:01 +02:00
Folkert	ebce2cf8b2	make expect collector recursive	2022-07-13 18:51:11 +02:00
Folkert	fe7882b598	implement expect collector	2022-07-13 16:23:39 +02:00
Ayaz Hafiz	9a01117536	Fix compile errors	2022-07-13 08:47:37 -04:00
Ayaz Hafiz	f1a6ea6a40	Typecheck and compile opaque wrapping functions ... This enables you to write something like ``` A := U8 List.map [1, 2, 3] @A ``` which will be compiled as if it was `List.map [1, 2, 3] \x -> @A x`. Closes #3499	2022-07-12 18:38:03 -04:00
Folkert	239ef9cbe1	my comment is not a code snippet, cargo	2022-07-10 21:31:26 +02:00
Folkert	830dd03b30	add comment	2022-07-10 20:48:57 +02:00