50 commits

Author	SHA1	Message	Date
Chad Stearns	4b663a93c0	Switched many tests	2020-07-03 15:14:30 -04:00
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
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	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
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
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	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	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	3b507f4f48	Add canonicalization checks to infer_eq_help	2020-04-05 23:30:39 -04:00
Folkert	14ad793bd7	hook up TypeError	2020-04-01 16:28:10 +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
Richard Feldman	df85c086ab	Fix test_uniq_solve	2020-03-11 00:07:19 -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
Folkert	9c5df1d5a5	fix uniqueness tests	2020-03-07 01:03:18 +01:00
Richard Feldman	a2f5f6f9fb	Move solve and uniq tests into other crates	2020-03-06 18:24:37 -05:00

Renamed from compiler/tests/test_uniqueness_infer.rs (Browse further)