221 commits

Author	SHA1	Message	Date
Folkert	c589be43c6	fix triple (or more) mutualy recursive type aliases	2020-06-30 14:25:47 +02:00
Folkert	5483ec819f	fix infinite unfolding of recursive tag union	2020-06-30 13:54:16 +02:00
Richard Feldman	8c96d12661	Merge trunk	2020-06-29 22:10:46 -04:00
Folkert	b4480e212a	fix uniqueness attribute on nested recursive aliases	2020-06-29 17:08:39 +02:00
Folkert	3fc2323891	fix recursion bug ... previously, `Cons 1 (Cons {} Nil)` would get inferred as ConsList Int, because only the outer layer of a tag union was checked with the recursive tag union. Now this is done continually.	2020-06-29 00:18:50 +02:00
Folkert	55e1e86dc2	cleanup	2020-06-27 23:56:53 +02:00
Folkert	41621bc509	fix test outputs ... in some cases for aliases the outputs are not entirely correct yet. That's future work	2020-06-27 21:01:51 +02:00
Folkert	79f01e0604	loads of things	2020-06-27 16:20:30 +02:00
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
Richard Feldman	88990c8711	Move Int and Float modules into Num	2020-06-22 23:25:38 -04: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	920b530008	Rename solve tests	2020-06-20 13:25:40 -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