471 commits

Author	SHA1	Message	Date
Folkert	06cd298126	add cycle helper	2020-04-10 23:26:30 +02:00
Folkert	931567ac4d	a working state again	2020-04-10 22:07:02 +02:00
Folkert	3187138084	WIP convert all the type_error things	2020-04-10 18:07:16 +02:00
Folkert	1672b89e19	circular types with pretty	2020-04-10 14:48:34 +02:00
Folkert	fcb62cdf8e	add titles to errors	2020-04-09 23:58:28 +02:00
Folkert	c2ad8dfe7e	use pretty.rs more	2020-04-09 23:27:11 +02:00
Folkert	fd7ca5bcc9	don't add guarded record fields into scope	2020-04-09 01:08:09 +02:00
Folkert	85e2cf4465	add a bunch of hints	2020-04-09 01:08:09 +02:00
Folkert	5e226ee5f4	convert type problems into pretty doc	2020-04-09 01:08:09 +02:00
Folkert	a587e31897	complete pattern_to_doc	2020-04-09 01:08:09 +02:00
Richard Feldman	9288e20469	Upgrade to LLVM 10	2020-04-08 06:41:53 -04:00
Folkert	7e4e3c93d5	cleanup	2020-04-07 21:12:56 +02:00
Folkert	7f999a06f3	add When pattern errors	2020-04-07 18:06:00 +02:00
Folkert	2d1a1621c3	add NoExpectation type error	2020-04-07 13:35:38 +02:00
Folkert	ccd021a755	add FnCall error message	2020-04-07 13:31:48 +02:00
Folkert	02e42b0abc	add from annotation cases	2020-04-06 22:59:21 +02:00
Folkert	67f8f2e943	improve tag union errors	2020-04-06 21:40:54 +02:00
Folkert	3f4346f573	stop unification when ext vars don't unify	2020-04-06 21:40:54 +02:00
Folkert	2d6e47b8a6	test for record diff	2020-04-06 21:40:54 +02:00
Folkert	fc8d9c2fd9	record diff	2020-04-06 21:40:54 +02:00
Folkert	7818e84316	convert ErrorType to ReportText	2020-04-06 21:40:54 +02:00
Folkert	854ffdae5e	stylistic improvements	2020-04-06 21:40:54 +02:00
Richard Feldman	945ee879db	s/List.length/List.len	2020-04-06 06:23:00 -04:00
Richard Feldman	002fda7b55	Expand stack size further	2020-04-06 06:22:24 -04:00
Richard Feldman	954ec9eb24	Drop obsolete test	2020-04-06 06:21:38 -04:00
Richard Feldman	fbeaafc91b	Fix canoncalization errors in solve tests	2020-04-05 23:30:39 -04:00
Richard Feldman	7ad4fb0e68	Add List.concat	2020-04-05 23:30:39 -04:00
Richard Feldman	41662af399	Allow UnusedDef problems in solve tests	2020-04-05 23:30:39 -04:00
Richard Feldman	20f7243373	Rename test_canonicalize to test_can	2020-04-05 23:30:39 -04:00
Richard Feldman	a291946aa5	Check for canoncalization problems in solve	2020-04-05 23:30:39 -04:00
Richard Feldman	3b507f4f48	Add canonicalization checks to infer_eq_help	2020-04-05 23:30:39 -04:00
Richard Feldman	d99fda3845	Union references in TypedBody ... Fixes #298	2020-04-05 23:30:39 -04:00
Richard Feldman	928d1bba6c	Reproduce #298	2020-04-05 23:30:39 -04:00
Richard Feldman	0357ff552b	Improve a todo error message	2020-04-05 23:30:39 -04:00
Chad Stearns	21ef4fb66c	Merge branch 'shadowing-report' of github.com:rtfeldman/roc into shadowing-report	2020-04-05 21:28:03 -04:00
Chad Stearns	a56867ee79	Commented out multiline shadowing test	2020-04-05 21:27:22 -04:00
Chad Stearns	f56a06d53b	Fixed shadowing test	2020-04-05 17:52:03 -04:00
Richard Feldman	e3bcb90217	Merge branch 'trunk' into shadowing-report	2020-04-05 17:51:52 -04:00
Richard Feldman	94801f1011	Use expanded stack on load tests	2020-04-05 17:32:06 -04:00
Richard Feldman	9cead44b39	Add PendingDef::ShadowedAlias	2020-04-05 17:26:56 -04:00
Chadtech	ea91f06490	Merge branch 'trunk' into shadowing-report	2020-04-05 15:57:11 -04:00
Chad Stearns	e4b9e0d6e7	Commented out incomplete code	2020-04-05 15:24:45 -04:00
Chad Stearns	89c949a9fd	Clean up	2020-04-05 15:20:01 -04:00
Chad Stearns	d8511e3285	Two shadowing report tests	2020-04-05 15:19:43 -04:00
Folkert	9e331f4a60	add commented tests	2020-04-05 00:15:38 +02:00
Folkert	5b0d9e693b	record update value	2020-04-05 00:15:38 +02:00
Folkert	f8b3d5dce7	elem_in_list	2020-04-05 00:15:38 +02:00
Folkert	200adae507	when_branch_mismatch	2020-04-05 00:15:38 +02:00
Folkert	98479511f5	when_if_guard	2020-04-05 00:15:38 +02:00
Richard Feldman	d28f8449d0	Report errors in the CLI	2020-04-03 21:58:44 -04:00