51 Commits

Author	SHA1	Message	Date
Chad Stearns	10a99a6fc7	Merging in remote	2020-04-26 18:24:31 -04:00
Chad Stearns	0cfed05008	Implemented div unsafe	2020-04-26 18:11:46 -04:00
Richard Feldman	1bee16decd	Temporarily disable List.get in favor of getUnsafe	2020-04-26 09:37:46 -04:00
Richard Feldman	07001131b2	Add can::builtins	2020-04-25 06:30:01 -04:00
Richard Feldman	9d37f7ae73	s/IndexOutOfBounds/OutOfBounds/g	2020-04-22 08:32:31 -04:00
Richard Feldman	1c1fee7e31	Trim trailing space off pretty_assertions dep	2020-04-16 19:24:24 -04:00
Folkert	f6af66f342	record, tag, alias errors ... - duplicate fields and tags are reported - circular aliases are reported	2020-04-13 20:53:16 +02:00
Folkert	fd7ca5bcc9	don't add guarded record fields into scope	2020-04-09 01:08:09 +02:00
Folkert	7f999a06f3	add When pattern errors	2020-04-07 18:06:00 +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	41662af399	Allow UnusedDef problems in solve tests	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	0357ff552b	Improve a todo error message	2020-04-05 23:30:39 -04:00
Folkert	1981a7e467	refactor and clean up	2020-04-03 01:20:35 +02:00
Folkert	604dbf7215	Merge remote-tracking branch 'origin/trunk' into precedence-error	2020-04-02 23:29:15 +02:00
Folkert	106a3646bf	add category to Eq constraint	2020-04-01 20:09:10 +02:00
Folkert	14ad793bd7	hook up TypeError	2020-04-01 16:28:10 +02:00
Folkert	2586fde6af	add test that triggers assert	2020-03-31 00:27:37 +02:00
Folkert	da7498510b	add another test	2020-03-30 02:14:41 +02:00
Folkert	a6f80471f9	add tests based on elm typechecker issues	2020-03-29 23:33:21 +02:00
Folkert	bd7ad318cf	fix bug in guard constraint gen	2020-03-21 15:12:01 +01:00
Folkert	caaf6370ce	fix solve test	2020-03-21 01:06:51 +01:00
Folkert	920928399a	type inference for pattern guards	2020-03-21 00:39:52 +01:00
Richard Feldman	a54db8bf92	Merge remote-tracking branch 'origin/trunk' into array-wrappers	2020-03-14 20:49:59 -04:00
Richard Feldman	8d4331f903	Merge remote-tracking branch 'origin/trunk' into array-wrappers	2020-03-13 22:20:35 -04:00
Folkert	e2a079f0cc	empty ext vars in type_to_var	2020-03-14 01:43:14 +01:00
Folkert	b43be95b19	add record_var to Access and Accessor	2020-03-14 01:13:44 +01:00
Folkert	df54bb5aef	fix incorrect signature for isEq in uniq builtins	2020-03-13 20:49:16 +01:00
Folkert	9ef4a6d891	fix bug in uniq isEq type ... it always wanted Boolean arguments ...	2020-03-13 13:06:56 +01:00
Folkert	fb8e8570bc	Merge remote-tracking branch 'origin/trunk' into num	2020-03-11 14:30:50 +01:00
Folkert	17348231fd	fix uniqueness Num inference ... The variable in Num is the `a` in `Num a`. For Int/Float literals, it's a helper variable to generate better error messages	2020-03-11 14:18:26 +01:00
Richard Feldman	df85c086ab	Fix test_uniq_solve	2020-03-11 00:07:19 -04:00
Richard Feldman	3ecbe0325c	Plain number literals (e.g. 5) are now Num *	2020-03-10 22:27:13 -04:00
Folkert	62f34c41cc	hardcode Bool alias ... previously it would use the tag union, which would result in slightly worse error messages down the line	2020-03-10 15:21:39 +01:00
Folkert	7fea957979	hardcode Bool	2020-03-10 14:50:35 +01:00
Richard Feldman	3789402a32	Rename List.length to List.len	2020-03-10 02:56:55 -04:00
Richard Feldman	0f79a3311d	Upgrade bumpalo to 3.2	2020-03-07 11:20:35 -05:00
Folkert	9c5df1d5a5	fix uniqueness tests	2020-03-07 01:03:18 +01:00
Folkert	21bbfd3c94	Merge remote-tracking branch 'origin/trunk' into use-fewer-variables	2020-03-07 00:53:13 +01:00
Folkert	94f2b6b6f6	switch back to Apply where possible	2020-03-07 00:50:38 +01:00
Richard Feldman	60adf36db2	Fix some tests	2020-03-06 18:28:13 -05:00
Folkert	eb7d9d98e6	hardcode variables for empty records and tag unions	2020-03-07 00:25:16 +01:00
Richard Feldman	df4533296b	fix some tests	2020-03-06 18:24:37 -05:00
Richard Feldman	762ae80ec4	Move solve and uniq tests into other crates	2020-03-06 18:24:37 -05:00
Richard Feldman	8fc75f2b2e	fix some tests	2020-03-06 18:24:37 -05:00
Richard Feldman	a2f5f6f9fb	Move solve and uniq tests into other crates	2020-03-06 18:24:37 -05:00