61 commits

Author	SHA1	Message	Date
Folkert	ac18da302c	add more tests	2020-06-26 13:59:32 +02:00
Folkert	3901cedf62	switch some variables around in test output	2020-06-26 01:14:17 +02:00
Folkert	e5997c4047	fix mutual recursive types ... I'll write a bit more about this in the PR message	2020-06-26 01:03:55 +02:00
Folkert	055b01c463	rewrite uniqueness logic	2020-06-24 23:06:34 +02:00
Folkert	41ad8f2952	revise Map and cleanup	2020-06-23 21:16:29 +02:00
Folkert	b88dfcb537	revise Set	2020-06-23 15:36:02 +02:00
Folkert	6f1639959a	use let_tvars for the Num, Int, Float, Bool	2020-06-23 15:08:23 +02:00
Folkert	0696c5aa09	polish list signatures	2020-06-23 14:34:47 +02:00
Folkert	af33e26811	fix repeat	2020-06-23 00:02:36 +02:00
Folkert	2a7bf2ae66	fix map	2020-06-22 23:48:37 +02:00
Folkert	0fbac382d0	improve uniqueness signatures	2020-06-22 23:28:23 +02:00
Chad Stearns	7125af2493	Switched from one list foldr type to the other in the test	2020-06-21 13:24:45 -04:00
Richard Feldman	269da82840	Make VarStore no longer use atomics	2020-06-13 21:59:01 -04:00
Chadtech	0641e287a6	Merge branch 'trunk' into is-positive-is-negative	2020-05-29 23:10:29 -04:00
Richard Feldman	4295dec955	Fix load_builtin_aliases ordering	2020-05-26 00:04:59 -04:00
Richard Feldman	c386192e8b	Reorganize when solving and constraint gen happen	2020-05-26 00:04:42 -04:00
Chad Stearns	a01bdd66c5	isZero, isPositive, isNegative	2020-05-18 12:49:27 -04:00
Chad Stearns	1d1f620090	Int Abs	2020-05-09 17:56:10 -04:00
Chad Stearns	8e8412bf94	FLOAT_ABS test, and NUM_ABS generally, but not implemented	2020-05-08 00:49:08 -04:00
Chad Stearns	4b5f7bfded	Changed Int div implementation to use !=	2020-05-01 17:29:12 -04:00
Chad Stearns	9107880928	Implemented generated built in int division, with the return type as a result	2020-04-29 17:36:02 -04:00
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
Folkert	fd7ca5bcc9	don't add guarded record fields into scope	2020-04-09 01:08:09 +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
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	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