3174 commits

Author	SHA1	Message	Date
Ayaz Hafiz	debe6332c5	Support OIOP for type aliases	2022-10-31 09:38:21 -05:00
Ayaz Hafiz	6ee2fb496d	Do not check named arguments in both alias args and real typ	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	b98cfa3bd6	Update roc_ast constraining tests	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	0707739cfc	Prefer "tags are missing" error messages	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	895bf932db	Decide usages contextually based only on one type at a time	2022-10-31 09:37:40 -05:00
Ayaz Hafiz	34be486a9e	Print wildcard in output position correctly	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	81254ecb77	Drop unused import in wasm repl test	2022-10-31 09:20:34 -04:00
Richard Feldman	e9e4e710e2	clippy	2022-10-31 08:05:32 -04:00
Richard Feldman	eaa0824347	Fix wasm repl multiline string test	2022-10-31 08:03:22 -04:00
Richard Feldman	50ebffad5a	Fix Windows Readline error	2022-10-31 07:28:24 -04:00
Richard Feldman	9265d6480d	clippy	2022-10-31 07:12:57 -04:00
Richard Feldman	71bb6b3e7d	Update format_answer call in repl_wasm	2022-10-31 07:09:00 -04:00
Richard Feldman	7f1efae6e0	Drop obsolete test	2022-10-31 07:06:31 -04:00
Richard Feldman	664526a167	Fix repl multiline string test	2022-10-31 07:05:18 -04:00
Richard Feldman	212090769f	Fix repl handling of invalid layouts	2022-10-31 06:57:52 -04:00
Richard Feldman	d6853519d8	Expand repl TIPS	2022-10-31 06:53:27 -04:00
Richard Feldman	cb7ee6a43a	Have repl error eagerly on confirmed syntax errors	2022-10-31 06:40:38 -04:00
Richard Feldman	e6bd2a5f30	Handle syntax errors in repl	2022-10-31 06:22:35 -04:00
Richard Feldman	6227e37559	Ignore shadowing repl test for now	2022-10-31 06:17:48 -04:00
Richard Feldman	2b89f53e76	Right-align var_name if terminal under 80 chars	2022-10-31 06:14:43 -04:00
Richard Feldman	ea67b729c3	Fix a bunch of repl test trimming issues	2022-10-30 15:10:49 -04:00
Richard Feldman	8b4e864a90	Support opaques, aliases, and abilities in repl	2022-10-30 15:03:59 -04:00
Richard Feldman	9f7a38408a	Only consider the last line of stdout in repl tests	2022-10-30 14:54:28 -04:00
Richard Feldman	5fdca82519	Fix a test	2022-10-30 14:44:58 -04:00
Richard Feldman	23974dc753	Drop unused lifetime annotation	2022-10-30 14:42:00 -04:00
Richard Feldman	d7fd72c905	Fix eval-ing functions in repl	2022-10-30 14:41:57 -04:00
Richard Feldman	eebf973f11	repl treats whens as incomplete until blank line	2022-10-30 13:48:06 -04: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
Folkert	bbab077b16	make ret instruction finding more robust	2022-10-30 14:53:17 +01:00
Folkert	e14904bbe3	carriage return	2022-10-30 14:45:32 +01:00