2404 commits

Author	SHA1	Message	Date
Ayaz Hafiz	b0a8b85de3	Canonicalization of list patterns	2022-10-31 17:04:47 -05:00
Anton-4	4ec43d9964	Closes #4423, link build command refactoring	2022-10-31 21:32:38 +01: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	5e891a3501	Add comment on when heuristic can be removed	2022-10-31 09:48:25 -05:00
Ayaz Hafiz	04e8e26faf	Fix env var typo	2022-10-31 09:46:07 -05:00
Ayaz Hafiz	bb02104436	Fix typo	2022-10-31 09:44:22 -05:00
Ayaz Hafiz	b3956569a6	Add comment on inlining	2022-10-31 09:43:28 -05:00
Ayaz Hafiz	07f5d0c7fd	Clarify TODO	2022-10-31 09:39:29 -05:00
Ayaz Hafiz	a526fd92aa	inferred extension vars are material if they're not flex or empty	2022-10-31 09:38:22 -05:00
Ayaz Hafiz	4f367e2608	Clippers lose to the Thunder, I lose to Clippy	2022-10-31 09:38:22 -05:00
Ayaz Hafiz	9854f5f2ac	Print alias's underlying structures if OIOP vars are material	2022-10-31 09:38:22 -05:00
Ayaz Hafiz	e1b6e0334b	Generate OIOP vars correctly	2022-10-31 09:38:22 -05: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	aa8a7b1ebc	Less aggressive inlining in debug builds ... Being too aggressive about inlining in debug builds can result in huge stack frames building up when inlined functions are contained in non-tail-recursive, non-inlined function calls. This easily hits stack overflows, so avoid it.	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	91dd47c5e4	Store OIOP variables in a unique buffer	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	cfe7c8e5ef	Warn on the presence of unnecessary wildcards in output positions	2022-10-31 09:38:20 -05:00
Ayaz Hafiz	d55dbbf0ae	Update load test to work around constraining bug	2022-10-31 09:37:41 -05:00
Ayaz Hafiz	85e58440de	Allow too many args	2022-10-31 09:37:41 -05:00
Ayaz Hafiz	8d5678151d	Implement open-in-output-position for non-alias type annotations	2022-10-31 09:37:41 -05:00
Ayaz Hafiz	ec4285c1dd	Work around constraining bug in gen test	2022-10-31 09:37:41 -05:00
Ayaz Hafiz	42058c3067	Add note on bug in constraining	2022-10-31 09:37:41 -05:00
Ayaz Hafiz	e7c7eb623e	Fail builds if builtins have type errors	2022-10-31 09:37:41 -05:00
Ayaz Hafiz	bb1f4cd5e8	Fix bug in closing heuristic	2022-10-31 09:37:40 -05:00
Ayaz Hafiz	7b9ce492c3	Better estimate polarity in exhaustiveness checking	2022-10-31 09:37:40 -05:00
Ayaz Hafiz	69114cc820	Apply a heuristic for opening/closing types before exhaustiveness checking	2022-10-31 09:37:40 -05:00
Ayaz Hafiz	f3623b1e47	Close extension types extended wiht uninhabited types after their extension	2022-10-31 09:37:40 -05:00
Ayaz Hafiz	4d48ea7c2f	Materialize extension variable polarity in error type reporting	2022-10-31 09:37:40 -05:00
Ayaz Hafiz	3c15ff4694	Correctly print wildcards as appropriate in error messages	2022-10-31 09:37:39 -05:00
Ayaz Hafiz	d77080529a	Introduce polarity for extension variable printing	2022-10-31 09:37:39 -05:00
Richard Feldman	fccc2ed497	Update panic message in repl	2022-10-30 13:35:49 -04:00
Richard Feldman	0c8f6a0a72	Fix annotated defs in repl	2022-10-30 13:34:38 -04:00
Richard Feldman	daa87093ca	Don't drop defs that would be shadowed	2022-10-30 12:42:20 -04:00
Richard Feldman	e38ae00c65	Expose macros for joining up AnnotatedBody nodes	2022-10-30 12:36:10 -04:00
Folkert	dbd0d30893	Merge remote-tracking branch 'origin/main' into roc-dev-inline-expects	2022-10-30 15:57:07 +01:00
Richard Feldman	99f4d99771	Revert "Attempt a refactor, but run into lifetime issues" ... This reverts commit 4a9b44aaaf.	2022-10-30 07:22:32 -04:00
Richard Feldman	4a9b44aaaf	Attempt a refactor, but run into lifetime issues	2022-10-30 07:22:31 -04:00
Richard Feldman	e0e25a48bf	Add comment_str	2022-10-30 07:17:10 -04:00
Richard Feldman	e93d9b81d8	Report repl compile errors as bugs	2022-10-30 03:19:47 -04:00
Richard Feldman	9ed13eb97b	Don't panic when repl code crashes	2022-10-30 03:14:46 -04:00
Richard Feldman	0190787f7b	Revert "send panics to the repl more gracefully" ... Now doesn't seem like the right time to do a change this invasive. This reverts commit a36ddbf6cb.	2022-10-30 03:12:53 -04:00
Richard Feldman	a36ddbf6cb	WIP send panics to the repl more gracefully	2022-10-30 03:12:41 -04:00
Anton-4	499177736c	Merge branch 'main' of github.com:roc-lang/roc into windows-tests	2022-10-29 16:58:21 +02:00
Anton-4	fda3b44315	windows flake is different than on macos	2022-10-29 16:57:32 +02:00
Anton-4	b1fff17730	fix typo ... Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>	2022-10-29 16:32:38 +02:00
Anton-4	4ce978a7c0	fix typo ... Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>	2022-10-29 16:31:36 +02:00
Anton-4	ddcb5d3742	add flaky windows error ... Signed-off-by: Anton-4 <17049058+Anton-4@users.noreply.github.com>	2022-10-29 16:30:06 +02:00
Austin Clements	5d19d28e56	formatting	2022-10-28 18:13:03 -05:00
Folkert de Vries	9f62e65892	Merge pull request #4406 from roc-lang/windows-effect-loop ... Windows effects.roc	2022-10-29 00:29:35 +02:00
Austin Clements	ec81ce5ebc	add test for formatter: single-quoted char pattern	2022-10-28 16:36:24 -05:00