16 commits

Author	SHA1	Message	Date
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)